I am currently working at Ethereum Foundation and sometimes do research at the National University of Singapore. In the past, I have worked at Zalando, GDS (now part of AON), Cisco, and Security Research Labs.
As part of my research activities, I am interested in SAT solving, Model Counting and sampling, SMT solvers, and in general beyond-SAT. I maintain the SAT solver CryptoMiniSat and I help maintain the SMT solver STP. I am also one of the main authors of ApproxMC, UniGen, Arjun, and Bosphorus.
My Workplaces, Professors, etc.
I have done research at the National University of Singapore. I was a security architect at Zalando for 3.5 years, and a security consultant for 2 years in London working at Gotham Digital Science where I did risk assessment, threat modelling, pentesting and related work. I also worked at Cisco London on the security of the Telepresence Server and the videoconferencing subsystem in Spark. Prior to that, I worked for nearly 4.5 years at Security Research Labs where I worked on helping clients with their threat models, mostly related to telecommunications and embedded systems, and broke/wrote a tool to easily reverse a bunch of embedded ciphers.
I received my Masters diploma from BUTE, and I have done my PhD in the PLANETE team of INRIA Rhone-Alpes under the supervision of Claude Castelluccia, conducting research on RFID security and privacy and low-complexity cryptography. I have also done one year of Post-Doctoral study under the supervision of Jean-Charles Faugere.
I worked in Pantel (thanks to Jeroen Temme there) for about 1.5 years in total, where I wrote a MySQL-based telephone-call matching system.
I like art, books, films and sociology. My hobby is Living, mostly. This involves breathing, eating, sleeping and some other, miscellaneous things.
personal email: firstname.lastname@example.org
Bitcoin: 1K1P8vcQCtQKbriZnccHpph8mSENtEav2h — used to fund hardware, Club Mate, my travels to CCC meetups, and other necessities while developing CryptoMiniSat.