Publications

2023

  1. SaTML 2023
    Explainable Global Fairness Verification of Tree-Based Classifiers
    Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese, and 1 more author
    In 2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML 2023), Raleigh, North Carolina, USA, February 8-10, 2023, 2023
    HTML PDF Code
  2. CCS 2023
    Verifiable Learning for Robust Tree Ensembles
    Stefano Calzavara, Lorenzo Cazzaro, Giulio Ermanno Pibiri, and 1 more author
    In ACM SIGSAC Conference on Computer and Communications Security (ACM CCS), Copenhagen, Denmark, November 26-30, 2023, 2023
    HTML PDF Code

2022

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

2021

  1. ASIACCS 2021
    AMEBA: An Adaptive Approach to the Black-Box Evasion of Machine Learning Models
    Stefano Calzavara, Lorenzo Cazzaro, and Claudio Lucchese
    In ACM Asia Conference on Computer and Communications Security (ASIA CCS ’21), Virtual Event, Hong Kong, June 7-11, 2021, 2021
    HTML PDF