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
  2. 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
  3. EDBT 2025
    Watermarking Decision Tree Ensembles
    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
  4. Less is More: Boosting Coverage of Web Crawling through Adversarial Multi-Armed Bandit (in press)
    Lorenzo Cazzaro, Stefano Calzavara, Maksim Kovalkov, and 2 more authors
    In 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2025), Naples, Italy, June 23-26, 2025, 2025

2023

  1. 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
  2. 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

2022

  1. Beyond robustness: Resilience verification of tree-based classifiers
    Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese, and 2 more authors
    Computers & Security (Elsevier), 2022

2021

  1. 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