"The scientist is not the 
man who provides the right answers; It is the one that poses the right questions."
Claude Lévi-Strauss
Research interests
Abstract Interpretation
Static program analysis
Language-based security
Code protection & Obfuscation
Malware detection & Similarity analysis