Publications

2024

1. S&P 2025

   Verifiable Boosted Tree Ensembles

   Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese, and 1 more author

   2024

   PDF Code

2023

1. SaTML 2023

   Explainable Global Fairness Verification of Tree-Based Classifiers

   Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese, and 1 more author

   In 2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML 2023), Raleigh, North Carolina, USA, February 8-10, 2023, 2023

   HTML PDF Code
2. CCS 2023

   Verifiable Learning for Robust Tree Ensembles

   Stefano Calzavara, Lorenzo Cazzaro, Giulio Ermanno Pibiri, and 1 more author

   In ACM SIGSAC Conference on Computer and Communications Security (ACM CCS), Copenhagen, Denmark, November 26-30, 2023, 2023

   HTML PDF Code

2022

1. CoSe

   Beyond robustness: Resilience verification of tree-based classifiers

   Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese, and 2 more authors

   Computers & Security (Elsevier), 2022

   HTML PDF Code

2021

1. ASIACCS 2021

   AMEBA: An Adaptive Approach to the Black-Box Evasion of Machine Learning Models

   Stefano Calzavara, Lorenzo Cazzaro, and Claudio Lucchese

   In ACM Asia Conference on Computer and Communications Security (ASIA CCS ’21), Virtual Event, Hong Kong, June 7-11, 2021, 2021

   HTML PDF