research
∙
05/05/2023
Verifiable Learning for Robust Tree Ensembles
Verifying the robustness of machine learning models against evasion atta...
share
research
∙
09/27/2022
Explainable Global Fairness Verification of Tree-Based Classifiers
We present a new approach to the global fairness verification of tree-ba...
research
∙
12/05/2021
Beyond Robustness: Resilience Verification of Tree-Based Classifiers
In this paper we criticize the robustness measure traditionally employed...
research
∙
01/15/2021
Bulwark: Holistic and Verified Security Monitoring of Web Protocols
Modern web applications often rely on third-party services to provide th...
research
∙
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...
research
∙
07/06/2020
Certifying Decision Trees Against Evasion Attacks by Program Analysis
Machine learning has proved invaluable for a range of different tasks, y...
research
∙
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...
research
∙
01/28/2020
Language-Based Web Session Integrity
Session management is a fundamental component of web applications: despi...
research
∙
07/02/2019
Treant: Training Evasion-Aware Decision Trees
Despite its success and popularity, machine learning is now recognized a...
research
∙
06/24/2018
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring
We present WPSE, a browser-side security monitor for web protocols desig...
research
∙
05/30/2017