153 citations · 162 across the 4 of their papers we have counts for
4 papers · 1 filter
Explainable Global Fairness Verification of Tree-Based Classifiers
Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese +1
We present a new approach to the global fairness verification of tree-based classifiers. Given a tree-based classifier and a set of sensitive features potentially leading to discri…
Certifying Decision Trees Against Evasion Attacks by Program Analysis
Stefano Calzavara, Pietro Ferrara, Claudio Lucchese
Machine learning has proved invaluable for a range of different tasks, yet it also proved vulnerable to evasion attacks, i.e., maliciously crafted perturbations of input data desig…
Feature Partitioning for Robust Tree Ensembles and their Certification in Adversarial Scenarios
Stefano Calzavara, Claudio Lucchese, Federico Marcuzzi +1
Machine learning algorithms, however effective, are known to be vulnerable in adversarial scenarios where a malicious user may inject manipulated instances. In this work we focus o…
Treant: Training Evasion-Aware Decision Trees
Stefano Calzavara, Claudio Lucchese, Gabriele Tolomei +2
Despite its success and popularity, machine learning is now recognized as vulnerable to evasion attacks, i.e., carefully crafted perturbations of test inputs designed to force pred…