Lorenzo Cazzaro

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 8

Top Topics

Learning Models

Linear Classifiers

Majority Voting

Top Venues

Publications

Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese, Giulio Ermanno Pibiri
Verifiable Boosted Tree Ensembles. CoRR (2024)
Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese, Federico Marcuzzi
Explainable Global Fairness Verification of Tree-Based Classifiers. SaTML (2023)
Stefano Calzavara, Lorenzo Cazzaro, Giulio Ermanno Pibiri, Nicola Prezza
Verifiable Learning for Robust Tree Ensembles. CCS (2023)
Stefano Calzavara, Lorenzo Cazzaro, Giulio Ermanno Pibiri, Nicola Prezza
Verifiable Learning for Robust Tree Ensembles. CoRR (2023)
Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese, Federico Marcuzzi
Explainable Global Fairness Verification of Tree-Based Classifiers. CoRR (2022)
Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese, Federico Marcuzzi, Salvatore Orlando
Beyond robustness: Resilience verification of tree-based classifiers. Comput. Secur. 121 (2022)
Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese
AMEBA: An Adaptive Approach to the Black-Box Evasion of Machine Learning Models. AsiaCCS (2021)
Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese, Federico Marcuzzi, Salvatore Orlando
Beyond Robustness: Resilience Verification of Tree-Based Classifiers. CoRR (2021)