Recent Events I'm involved in
- 33rd Static Analysis Sympsium SAS 2026
- 21st International Conference on Availability, Reliability and Security ARES 2026
- We Robot 2026
- ACM Conf on Object Oriented Programming Systems Languages and Applicatins OOPLSLA 2026
- 53rd ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2026
Main Projects
- SOEM: A Security Operation Event Management Platform for Critical Infrastructure Protection. (December 2025 - November 2029) University of Verona and HWG-Sababa - Principal Investigator FISA 2024.
- ODIN: Abstract Interpretation driven programming languages (September 2023 - September 2028) - Air Force Office of Scientific Research under award number FA9550-23-1-0544 - Principal Investigator
- COVERT: In search of evidence of stealth cyber threats (June 2024 - December 2025) - SERICS (PE00000014) under the MUR National Recovery and Resilience PLan funded by the European Union - NextGenerationEU - Local Coordinator
- SOP: Securing Software Platforms (April 2024 - December 2025) - SERICS (PE00000014) under the MUR National Recovery and Resilience PLan funded by the European Union - NextGenerationEU - Local Coordinator
- BinTrace: Similarity Analysis based on Execution Traces (October 2020 - September 2022) Joint Project 2019 — Principal Investigator
- SMALAWI: Smart Label Wine (March 2019 - March 2022), funded by Regione Veneto. Partners: Vignaioli Veneti (PI), Dipartimento di Economia Aziendale, Dipartimento di Informatica - Università degli studi di Verona.
- Cyber Risk Management e Resilienza nelle Operations: modelli di analisi di rischio, strategie di gestione e copertura assicurativa (October 2019 - October 2021) funded by Fondazione Cariverona. Partners: Dipartimento di Economia Aziendale (PI), Dipartimento di Informatica - Università degli studi di Verona.
- ASPIS: Big-Code early threat detection by approximate similarity analysis (March 2017 - March 2019), Joint Project 2016 — Principal Investigator
- FACE: Formal Avenue for Chasing malwarE (March 2014 - March 2018), University of Verona and Politecnico di Milano 522K Euro— Principal Investigator
Member of the board of the Center of Security and Crime Scienes
Member of the International Scientific Advisory Board of of the Cybersecurity Research Program Flanders
Past Events I was involved in
▪ 32nd Static Analysis Symposium SAS 2025
▪ 20th International Conference on Availability, Reliability and Security ARES 2025
▪ 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2025
▪ Checkmate 2024: Research on offensive and defensive techniques in the context of Man At The End (MATE) attacks, colocated with CCS 2024
▪ Workshop on Data Privacy Management DPM 2024 @ ESORICS 2024
▪ Dagstuhl Seminar 24112. EU Cyber Resilience Act: Socio-Technical and Research Challenges (March 10 - March 13, 2024)
▪ 29th European Symposium on Research in Computer Security ESORICS 2024
▪ 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2024
▪ Workshop on Attacks and Software Protection WASP @ESORICS 2023
▪ Workshop on Data Privacy Management DPM @ ESORICS 2023
▪ Italian Conference on Cybersecurity - ITASEC 2023
▪ 50th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2023
▪ Italian Conference on Cybersecurity 2022 ITASEC
▪ 14th International symposium on Foundations and Practice of security - FPS 2021
▪ CheckMATE Workshop co-located with the ACM Conference on computer and Communications Systems - CCS 2021
▪ 41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems - FORTE 2021
▪ 14th International Conference on Emerging Security Information, Systems and Technologies - SECURAWARE 2020
▪ 13th International symposium on Foundations and Practice of security - FPS 2020
▪ 15th International Conference on Risks and Security of Internet and Systems - CRISIS 2020
▪ 18th Asian Symposium on Principles of Programming Languages and Systems - APLAS 2020
▪ Workshop on Software Attacks and Defenses SAD @EuroS&P 2020
▪ PhD Forum @ITASEC 2020
▪ 29th International Conference on Compiler Construction - CC20
▪ 3rd International Workshop on Software Protection - SPRO 2019
▪ 9th Software Security, Protection and Reverse Engineering Workshop - SSPREW 2019
▪ 12th International Symposium of Foundations & Practice of Security - FPS2019
▪ Dagstuhl Seminar 19331 - Software Protection Decision Support and Evaluation Methodologies - August 11th - 16th 2019.
▪ 39th International Conference on Formal Techniques for Distributed Objects, Components and Systems - FORTE 2019
▪ International Symposium on Code Generation and Optimization - CGO 2019
▪ 3rd International Workshop on FORmal methods for Security Engineering - ForSE 2019
▪ 8th Software Security, Protection and Reverse Engineering Workshop - SSPREW 2018
▪ 12th International Conference on Emerging Security Information, Systems and Technologies - SECURAWARE 2018
▪ 45th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2018
▪ 2nd Workshop on FORmal methods for Security Engineering - ForSE 2018
▪ 7th Software Security, Protection and Reverse Engineering Workshop - SSPREW 2017
▪ Dagstuhl Seminar 17281 - Malware Analysis: From Large-Scale Data Triage to Targeted Attack Recognition July 9th - 14th 2017
▪ 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017
▪ 1st Workshop on FORmal methods for Security Engineering - ForSE 2017
▪ 6th Software Security, Protection and Reverse Engineering Workshop - SSPREW 2016
▪ 9th International Symposium on Foundations & Practice of Security - FPS 2016
▪ 2nd Workshop on Software Protection - SPRO 2016
▪ 6th International Numerical and Symbolic Abstract Domain Workshop - NSAD 2016
▪ IEEE/ACM International Symposium on Code Generation and Optimization - CGO 2016
▪ 5th International Workshop on Program Protection and Reverse Engineering - PPREW15
▪ 4th International Conference on Advances in Computing, Communications & Informatics ICACCI - Special Session on Malware Analysis and Forensics for SmartPhones 2015
▪ 8th International Symposium on Foundations & Practice of Security - FSP 2015
▪ 1st International Workshop on Software Protection - SPRO 2015
▪ 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015
▪ Cryptography, Security and Verification Track of SOFSEM 2015
▪ ARO Workshop on Continuosly Upgradable Software Security and Protection Workshop 2014
▪ 4th International Workshop on Program Protection and Reverse Engineering - PPREW-4
▪ Cyber Security Day in Verona, event inside the Cyber Security Month, organized by ENISA
▪ 7th International Symposium on Foundation & Practice of Security - SFP 2014
▪ 9th International Conference on Malicious and Unwanted Software - MALCON 2014
▪ 5th International Summer School on Information Security and Protection - ISSISP 2014
▪ Invited to Dagstuhl Seminar 14241 - Challenges in Analysing Executables: Scalability, Self-modifying Code and Synergy June 9th - 13th 2014
▪ 3rd International Workshop on Program Protection and Reverse Engineering - PPREW 2014
▪ Cryptography, Security and Verification Track of SOFSEM 2014
▪ 6th International Symposium on Foundation & Practice of Security - SFP 2013
▪ Static Analysis Symposium - SAS 2013
▪ Invited speaker to 27th CRSEST Open Workshop - Malware CREST27, UCL, London, May 29 - 30, 2013
▪ 2nd International Workshop on Program Protection and Reverse Engineering - PPREW13
▪ 2nd Software Security and Protection Workshop - SSP12
▪ 1st International Workshop on Program Protection and Reverse Engineering - PPREW12
▪ IEEE International Conference - MALWARE 2010
▪ Doctoral Symposium associated to the 16th International Symposium on Formal Methods - FM06