About Me

I am a security researcher working for Security Research Labs. My work is focused on cryptography and SAT solvers, culminating in the SAT solver CryptoMiniSat. I received my Masters diploma from BUTE, and I have done my PhD in the PLANETE team of INRIA Rhone-Alpes, 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.

My Workplaces, Professors, etc.

Professors I am greatly indebted to (in chronological order): Levente Buttyan, my prof in BUTE, in Hungary, Stephane Ubeda and Le-Mouel Frederic, my profs in INSA de Lyon, and Claude Castelluccia, my prof in INRIA Rhone-Alpes.

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.

Contact

Reach me at: mate@srlabs.de