Selected papers

• VM Escape - Qemu Case Study. Phrack Magazine. 2017
• Debugging and Monitoring Malware Network Activities with Haka. Virus Bulletin 2016
• Haka, dissèque moi un paquet. Misc Magazine. 2015
• Haka - Un langage orienté réseaux et sécurité. SSTIC 2014
• Détection des shellcodes polymorphes. Misc Magazine. 2013
• Specification and Evaluation of Polymorphic Shellcode Properties Using a New Temporal Logic. Journal in Computer Virology. 2009
• Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-based Voting Protocols. ARES 2009
• Specification of Electronic Voting Protocols Properties using ADM Logic. ICICS 2008

Demos and workshops

• Haka - An Open Source Security Oriented Language. Defcon 2015
• Haka - An Open Source Security Oriented Language. Blackhat EU 2015