Matteo Maffei

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 …

Towards a Game-Theoretic Security Analysis of Off-Chain Protocols

2021 · arXiv (Cornell University)

Off-chain protocols constitute one of the most promising approaches to solve the inherent scalability issue of blockchain technologies. The core idea is to let parties transact on-chain only once to establish a channel between them, …

Verifying Global Two-Safety Properties in Neural Networks with Confidence

2024 · Lecture notes in computer science

Abstract We present the first automated verification technique for confidence-based 2-safety properties, such as global robustness and global fairness, in deep neural networks (DNNs). Our approach combines self-composition to leverage existing reachability analysis techniques and …

<scp>Wanilla:</scp> Sound Noninterference Analysis for WebAssembly

2025

WebAssembly (Wasm) is rapidly gaining popularity as a distribution format for software components embedded in various security-critical domains. Unfortunately, despite its prudent design, WebAssembly's primary use case as a compilation target for memory-unsafe languages leaves …