Upcoming Events I'm involved in
- 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2025
- Centro di Scienze della Sicurezza e della Criminalità CSSC
Main Projects
- ODIN: Abstract Interpretation driven programming languages (September 2024 - september 2029) - 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
Past Events I was involved in
- 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