Robin David is a PhD student at CEA LIST (Atomic Energy Commission, France) working in collaboration with the High Security Lab of LORIA (CNRS, Inria and Lorraine University) under the supervision of Jean-Yves Marion. His research interests are security at large but more especially binary analysis, malware analysis and reverse-engineering. His PhD goal is to use formal methods for security purposes, more especially for malware deobfuscation. In order to do so, he has implemented the core dynamic symbolic engine in BINSEC along with the instrumenter (Pinsec) and an associated IDA plugin (IDASec). Before his PhD, he obtained his Msc at the Paris-Est University and a Bsc at the Napier University in Edinburgh.
