About Me

I am a security consultant working at Gotham Digital Science.

As part of my hobby research activities, I play with SAT solvers and SMT solvers. I maintain the SAT solver CryptoMiniSat and I help maintain the SMT solver STP.

My Workplaces, Professors, etc.

I worked at Cisco London on the security of the Telepresence Server and the videoconferencing subsystem in Spark with a group of truly excellent engineers. I also worked for nearly 4.5 years at Security Research Labs in the company of dedicated professionals, a world-class team of great people.

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 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.

General interests

I like books, films, economics, biochemistry and medicine. My hobby is Living, mostly. This involves breathing, eating, sleeping and some other, miscellaneous things.


personal email: soos.mate@gmail.com
company email: msoos@gdssecurity.com
jabber (compatible with gtalk): msoos@jabber.org
OTR fingerprint: 134F5CAB 260A6EA5 9DB97CDE 9B8D6536 28C0CC1B
twitter: @SoosMate
PGP: soos_mate.asc
PGP fingerprint: 36D2 7524 1688 03DE 623A 2524 C666 8900 5A0C 2B48


Bitcoin: 1K1P8vcQCtQKbriZnccHpph8mSENtEav2h — used for AWS time to improve CryptoMiniSat