Talks

Conferences

• Verifiable Learning for Robust Tree Ensembles (slides), The 30th ACM Conference on Computer and Communications Security (CCS 2023), Copenhagen, Denmark, 27/11/2023

• Explainable Global Fairness Verification of Tree-Based Classifiers (slides), 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, 08/11/2023

• Explainable Global Fairness Verification of Tree-Based Classifiers (slides, video), IEEE Conference on Secure and Trustworthy Machine Learning (SaTML 2023), Raleigh, North Carolina, USA, 09/02/2023

• Resilience Verification of Tree-Based Classifiers (slides), Workshop on AI for Security and Security of AI (AISSAI) – Italian Conference on Cybersecurity 2022 (ITASEC22), Rome, Italy, 20/06/2022

• AMEBA: An Adaptive Approach to the Black-Box Evasion of Machine Learning Models (slides, video), ACM Asia Conference on Computer and Communications Security 2021 (ASIA CCS ‘21), Online, 09/06/2021

Seminars

• Verifiable Learning: Defining and Training Verifiable Machine Learning Models, Seminars of the PhD course in Computer Science, Università Ca’ Foscari Venezia, 13/03/2024

• Efficient and Principled Verification of Tree-Based Classifiers (slides), Safe Artificial Intelligence Lab, Imperial College London, Online, 29/01/2024.

• Data Independent Verification of Robustness and Fairness of Tree-Based Classifiers (slides), Dipartimento di Informatica, Università degli Studi di Roma “La Sapienza”, Rome, Italy, 09/11/2023.

• Explainable Global Fairness Verification of Tree-Based Classifiers (slides), Seminars of the PhD course in Computer Science, Università Ca’ Foscari Venezia, 23/11/2022

• An Introduction to the Security of AI (extended version), OWASP Italy Meetup 2021, Online, 17/12/2021.

• An Introduction to the Security of AI (slides), Security Summit Streaming Edition november 2021, Online, 11/11/2021.