Publications

2025

1. S&P 2025

   Verifiable Boosted Tree Ensembles

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

   In 46th IEEE Symposium on Security and Privacy (IEEE S&P 2025), San Francisco, USA, May 12-15, 2025, 2025

   HTML PDF Code
2. SaTML 2025

   Timber! Poisoning Decision Trees (in press)

   Stefano Calzavara, Lorenzo Cazzaro, and Massimo Vettori

   In 3rd IEEE Conference on Secure and Trustworthy Machine Learning (SaTML 2025), Copenhagen, Denmark, April 9-11, 2025, 2025

   HTML PDF Code
3. EDBT 2025

   Watermarking Decision Tree Ensembles (in press)

   Stefano Calzavara, Lorenzo Cazzaro, Donald Gera, and 1 more author

   In 28th International Conference on Extending Database Technology (EDBT 2025), Barcelona, Spain, March 25-28, 2025, 2025

   HTML 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 1st 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 30th ACM SIGSAC Conference on Computer and Communications Security (CCS 2023), 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 16th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2021), Virtual Event, Hong Kong, June 7-11, 2021, 2021

   HTML PDF