Stefano Calzavara

WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring

2018 · ARCA (Università Ca' Foscari Venezia)

We present WPSE, a browser-side security monitor for web protocols designed to ensure compliance with the intended protocol flow, as well as confidentiality and integrity properties of messages. We formally prove that WPSE is expressive …

Adversarial Training of Gradient-Boosted Decision Trees

2019

Adversarial training is a prominent approach to make machine learning (ML) models resilient to adversarial examples. Unfortunately, such approach assumes the use of differentiable learning models, hence it cannot be applied to relevant ML techniques, …