"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