AMEBA: An Adaptive Approach to the Black-Box Evasion of Machine Learning Models. - Stefano Calzavara; Lorenzo Cazzaro; Claudio Lucchese (AsiaCCS, 2021)

Beyond robustness: Resilience verification of tree-based classifiers. - Stefano Calzavara; Lorenzo Cazzaro; Claudio Lucchese; Federico Marcuzzi; Salvatore Orlando 001 (Comput. Secur., 2022)

Verifiable Learning for Robust Tree Ensembles. - Stefano Calzavara; Lorenzo Cazzaro; Giulio Ermanno Pibiri; Nicola Prezza (CCS, 2023)

Explainable Global Fairness Verification of Tree-Based Classifiers. - Stefano Calzavara; Lorenzo Cazzaro; Claudio Lucchese; Federico Marcuzzi (SaTML, 2023)

Less is More: Boosting Coverage of Web Crawling through Adversarial Multi-Armed Bandit. - Lorenzo Cazzaro; Stefano Calzavara; Maksim Kovalkov; Aleksei Stafeev; Giancarlo Pellegrino (DSN, 2025)

Watermarking Decision Tree Ensembles. - Stefano Calzavara; Lorenzo Cazzaro; Donald Gera; Salvatore Orlando 001 (EDBT, 2025)

Timber! Poisoning Decision Trees. - Stefano Calzavara; Lorenzo Cazzaro; Massimo Vettori (SaTML, 2025)

Verifiable Boosted Tree Ensembles. - Stefano Calzavara; Lorenzo Cazzaro; Claudio Lucchese; Giulio Ermanno Pibiri (SP, 2025)