Stefano Calzavara | DeepAI

DeepAI AI Chat

Featured Co-authors

Nicola Prezza
33 publications
Matteo Maffei
16 publications
Claudio Lucchese
13 publications
Giulio Ermanno Pibiri
13 publications
Gabriele Tolomei
12 publications
Salvatore Orlando
7 publications
Clara Schneidewind
5 publications
Ilya Grishchenko
4 publications
Mauro Tempesta
4 publications
Adrien Koutsos
4 publications
Lorenzo Veronese
3 publications

∙ 05/05/2023

Verifiable Learning for Robust Tree Ensembles

Verifying the robustness of machine learning models against evasion atta...

0 Stefano Calzavara, et al. ∙

∙ 09/27/2022

Explainable Global Fairness Verification of Tree-Based Classifiers

We present a new approach to the global fairness verification of tree-ba...

0 Stefano Calzavara, et al. ∙

∙ 12/05/2021

Beyond Robustness: Resilience Verification of Tree-Based Classifiers

In this paper we criticize the robustness measure traditionally employed...

0 Stefano Calzavara, et al. ∙

∙ 01/15/2021

Bulwark: Holistic and Verified Security Monitoring of Web Protocols

Modern web applications often rely on third-party services to provide th...

0 Lorenzo Veronese, et al. ∙

∙ 12/03/2020

Can I Take Your Subdomain? Exploring Related-Domain Attacks in the Modern Web

Related-domain attackers control a sibling domain of their target web ap...

0 Marco Squarcina, et al. ∙

∙ 07/06/2020

Certifying Decision Trees Against Evasion Attacks by Program Analysis

Machine learning has proved invaluable for a range of different tasks, y...

0 Stefano Calzavara, et al. ∙

∙ 04/07/2020

Feature Partitioning for Robust Tree Ensembles and their Certification in Adversarial Scenarios

Machine learning algorithms, however effective, are known to be vulnerab...

0 Stefano Calzavara, et al. ∙

∙ 01/28/2020

Language-Based Web Session Integrity

Session management is a fundamental component of web applications: despi...

0 Stefano Calzavara, et al. ∙

∙ 07/02/2019

Treant: Training Evasion-Aware Decision Trees

Despite its success and popularity, machine learning is now recognized a...

0 Stefano Calzavara, et al. ∙

∙ 06/24/2018

WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring

We present WPSE, a browser-side security monitor for web protocols desig...

0 Stefano Calzavara, et al. ∙

∙ 05/30/2017

A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications

The present paper proposes the first static analysis for Android applica...

0 Stefano Calzavara, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world