Stefano Calzavara
Università Ca' Foscari di Venezia
H-index: 22
Europe-Italy
Top articles of Stefano Calzavara
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Verifiable Boosted Tree Ensembles | arXiv preprint arXiv:2402.14988 | Stefano Calzavara Lorenzo Cazzaro Claudio Lucchese Giulio Ermanno Pibiri | 2024/2/22 |
An Empirical Analysis of Web Storage and Its Applications to Web Tracking | ACM Transactions on the Web | Zubair Ahmad Samuele Casarin Stefano Calzavara | 2023 |
6 Cryptographic Web Applications: from | Handbook of Formal Analysis and Verification in Cryptography | Michele Bugliesi Stefano Calzavara Alvise Rabitti | 2023/9/19 |
Explainable Global Fairness Verification of Tree-Based Classifiers | Stefano Calzavara Lorenzo Cazzaro Claudio Lucchese Federico Marcuzzi | 2023/2/8 | |
Holistic and verified security of monitoring protocols | 2023/2/7 | ||
You Call This Archaeology? Evaluating Web Archives for Reproducible Web Security Measurements | Florian Hantke Stefano Calzavara Moritz Wilhelm Alvise Rabitti Ben Stock | 2023/11/15 | |
Certifying machine learning models against evasion attacks by program analysis | Journal of Computer Security | Stefano Calzavara Pietro Ferrara Claudio Lucchese | 2023/1/1 |
Verifiable learning for robust tree ensembles | Stefano Calzavara Lorenzo Cazzaro Giulio Ermanno Pibiri Nicola Prezza | 2023/11/15 | |
Beyond robustness: Resilience verification of tree-based classifiers | Computers & Security | Stefano Calzavara Lorenzo Cazzaro Claudio Lucchese Federico Marcuzzi Salvatore Orlando | 2022/10/1 |
What Storage? An Empirical Analysis of Web Storage in the Wild | Zubair Ahmad Samuele Casarin Stefano Calzavara | 2022 | |
Cryptographic Web Applications: from Security Engineering to Formal Analysis | Michele Bugliesi Stefano Calzavara Alvise Rabitti | 2022 | |
The Security Lottery: Measuring {Client-Side} Web Security Inconsistencies | Sebastian Roth Stefano Calzavara Moritz Wilhelm Alvise Rabitti Ben Stock | 2022 | |
Feature partitioning for robust tree ensembles and their certification in adversarial scenarios | EURASIP Journal on Information Security | Stefano Calzavara Claudio Lucchese Federico Marcuzzi Salvatore Orlando | 2021/12 |
The remote on the local: Exacerbating web attacks via service workers caches | Marco Squarcina Stefano Calzavara Matteo Maffei | 2021/5/27 | |
AMEBA: an adaptive approach to the black-box evasion of machine learning models | Stefano Calzavara Lorenzo Cazzaro Claudio Lucchese | 2021/5/24 | |
Can i take your subdomain? exploring {Same-Site} attacks in the modern web | Marco Squarcina Mauro Tempesta Lorenzo Veronese Stefano Calzavara Matteo Maffei | 2021 | |
Reining in the web's inconsistencies with site policy | Stefano Calzavara Tobias Urban Dennis Tatang Marius Steffens Ben Stock | 2021 | |
Measuring web session security at scale | Computers & Security | Stefano Calzavara Hugo Jonker Benjamin Krumnow Alvise Rabitti | 2021/12/1 |
Bulwark: Holistic and verified security monitoring of web protocols | Lorenzo Veronese Stefano Calzavara Luca Compagna | 2020 | |
SecWeb 2020 Preface | Stefano Calzavara Ben Stock | 2020/9/7 |