"The scientist is not the man who provides the right answers; It is the one that poses the right questions."
Claude Lévi-Strauss

Active Research Projects

Abstract interpretation for COBOL (ARTIC) - Joint Project 2016 - Principal Investigator
Abstract Interpretation-based analysis of Scripting languages (AbScript) - Joint Project 2014 - Principal Investigator
Sconfiggere i malware in modo formale (FACE)
Security Horizons