Articles by Stefano Calzavara | Synthical

Synthical

Your space

Profile

Activity

Favorites

Folders

Feeds

Contacts

About

Claim page

Stefano Calzavara

Follow

Activity

Upvotes

Folders

Articles

13

Watermarking Decision Tree Ensembles

6 October 2024 by Stefano Calzavara and others

Machine Learning, Cryptography and Security

Timber! Poisoning Decision Trees

1 October 2024 by Stefano Calzavara and others

Machine Learning, Cryptography and Security

Verifiable Boosted Tree Ensembles

22 February 2024 by Stefano Calzavara and others

Machine Learning, Cryptography and Security

Verifiable Learning for Robust Tree Ensembles

11 November 2023 by Stefano Calzavara and others

Machine Learning, Cryptography and Security

Explainable Global Fairness Verification of Tree-Based Classifiers

27 September 2022 by Stefano Calzavara and others

Machine Learning, Logic in Computer Science

Beyond Robustness: Resilience Verification of Tree-Based Classifiers

5 December 2021 by Stefano Calzavara and others

Machine Learning, Cryptography and Security

Bulwark: Holistic and Verified Security Monitoring of Web Protocols

15 January 2021 by Lorenzo Veronese and others

Cryptography and Security

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

3 December 2020 by Marco Squarcina and others

Cryptography and Security

Certifying Decision Trees Against Evasion Attacks by Program Analysis

6 July 2020 by Stefano Calzavara and others

Machine Learning

Language-Based Web Session Integrity

2 June 2020 by Stefano Calzavara and others

Cryptography and Security

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

7 April 2020 by Stefano Calzavara and others

Machine Learning

Treant: Training Evasion-Aware Decision Trees

3 July 2019 by Stefano Calzavara and others

Machine Learning, Cryptography and Security

WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring

24 June 2018 by Stefano Calzavara and others

Cryptography and Security

HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving

25 July 2017 by Matteo Maffei and others

Cryptography and Security

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

12 June 2017 by Stefano Calzavara and others

Cryptography and Security, Programming Languages

This is an AI-generated summary

Key points

Topics

Machine Learning Cryptography and Security Logic in Computer Science Programming Languages