Beyond robustness: Resilience verification of tree-based classifiers S Calzavara, L Cazzaro, C Lucchese, F Marcuzzi, S Orlando Computers & Security 121, 102843, 2022 | 10 | 2022 |
Explainable Global Fairness Verification of Tree-Based Classifiers S Calzavara, L Cazzaro, C Lucchese, F Marcuzzi 2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML), 1-17, 2023 | 3 | 2023 |
AMEBA: an adaptive approach to the black-box evasion of machine learning models S Calzavara, L Cazzaro, C Lucchese Proceedings of the 2021 ACM Asia conference on computer and communications …, 2021 | 3 | 2021 |
Verifiable Learning for Robust Tree Ensembles S Calzavara, L Cazzaro, GE Pibiri, N Prezza Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | 2 | 2023 |
Watermarking Decision Tree Ensembles S Calzavara, L Cazzaro, D Gera, S Orlando arXiv preprint arXiv:2410.04570, 2024 | | 2024 |
Timber! Poisoning Decision Trees S Calzavara, L Cazzaro, M Vettori arXiv preprint arXiv:2410.00862, 2024 | | 2024 |
Verifiable Boosted Tree Ensembles S Calzavara, L Cazzaro, C Lucchese, GE Pibiri arXiv preprint arXiv:2402.14988, 2024 | | 2024 |