Author

Matteo Maffei

h-index 33 View on Semantic Scholar

We have 2 of 131 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

Fetch Me If You Can: A Comprehensive Analysis of Fetch Metadata

Effective server-side defenses against cross-site attacks depend on understanding the context in which browser requests are generated. However, servers often lack the information needed to distinguish legitimate requests from potentially malicious cross-site interactions. Fetch Metadata, a security mechanism introduced...

Pedro Miguel Sousa Bernardo, Alexander Ploner, Marco Squarcina et al. · 0 citations

Preprint Jul 2026

LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean

This work formalizes SegWit-style blockchain primitives in LeanDY and demonstrates its expressiveness by carrying out an in-depth formalization of payment channels on top of this blockchain model, verifying punishment mechanisms and properties that depend on chain liveness.

Simon Jeanteur, Lorenzo Veronese, Magdalena Solitro et al. · 0 citations