Principles for Entity Authentication. - Michele Bugliesi; Riccardo Focardi; Matteo Maffei (Ershov Memorial Conference, 2003)

The rho-spi Calculus at Work: Authentication Case Studies. - Riccardo Focardi; Matteo Maffei (MEFISTO, 2003)

Authenticity by tagging and typing. - Michele Bugliesi; Riccardo Focardi; Matteo Maffei (FMSE, 2004)

Compositional Analysis of Authentication Protocols. - Michele Bugliesi; Riccardo Focardi; Matteo Maffei (ESOP, 2004)

Tags for Multi-Protocol Authentication. - Matteo Maffei (SecCo, 2004)

Analysis of Typed Analyses of Authentication Protocols. - Michele Bugliesi; Riccardo Focardi; Matteo Maffei (CSFW, 2005)

Inferring authentication tags. - Riccardo Focardi; Matteo Maffei; Francesco Placella (WITS, 2005)

Dynamic typing for security protocols. - Matteo Maffei (2006)

A calculus of challenges and responses. - Michael Backes 001; Agostino Cortesi; Riccardo Focardi; Matteo Maffei (FMSE, 2007)

Causality-based Abstraction of Multiplicity in Security Protocols. - Michael Backes 001; Agostino Cortesi; Matteo Maffei (CSF, 2007)

Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. - Michael Backes 001; Matteo Maffei; Dominique Unruh (IACR Cryptol. ePrint Arch., 2007)

Dynamic types for authentication. - Michele Bugliesi; Riccardo Focardi; Matteo Maffei (J. Comput. Secur., 2007)

The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis. - Michael Backes 001; Stefan Lorenz; Matteo Maffei; Kim Pecina (CAV, 2008)

Type-checking zero-knowledge. - Michael Backes 001; Catalin Hritcu; Matteo Maffei (CCS, 2008)

Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. - Michael Backes 001; Catalin Hritcu; Matteo Maffei (CSF, 2008)

Anonymous and censorship resistant content sharing in unstructured overlays. - Michael Backes 001; Marek Hamerlik; Alessandro Linari; Matteo Maffei; Christos Tryfonopoulos; Gerhard Weikum (PODC, 2008)

Achieving Security Despite Compromise Using Zero-knowledge. - Michael Backes 001; Martin P. Grochulla; Catalin Hritcu; Matteo Maffei (CSF, 2009)

Anonymity and Censorship Resistance in Unstructured Overlay Networks. - Michael Backes 001; Marek Hamerlik; Alessandro Linari; Matteo Maffei; Christos Tryfonopoulos; Gerhard Weikum (OTM Conferences (1), 2009)

Design and Verification of Anonymous Trust Protocols. - Michael Backes 001; Matteo Maffei (Security Protocols Workshop, 2009)

Computationally Sound Abstraction and Verification of Secure Multi-Party Computations. - Michael Backes 001; Matteo Maffei; Esfandiar Mohammadi (FSTTCS, 2010)

Anonymous Webs of Trust. - Michael Backes 001; Stefan Lorenz; Matteo Maffei; Kim Pecina (Privacy Enhancing Technologies, 2010)

Brief announcement: anonymity and trust in distributed systems. - Michael Backes 001; Stefan Lorenz; Matteo Maffei; Kim Pecina (PODC, 2010)

Ubiquitous Verification of Ubiquitous Systems. - Reinhard Wilhelm; Matteo Maffei (SEUS, 2010)

Computationally Sound Verification of Source Code. - Michael Backes 001; Matteo Maffei; Dominique Unruh (IACR Cryptol. ePrint Arch., 2010)

Types for Security Protocols. - Riccardo Focardi; Matteo Maffei (Formal Models and Techniques for Analyzing Security Protocols, 2011)

Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols. - Michele Bugliesi; Stefano Calzavara; Fabienne Eigner; Matteo Maffei (CSF, 2011)

A Security API for Distributed Social Networks. - Michael Backes 001; Matteo Maffei; Kim Pecina (NDSS, 2011)

Privacy-aware proof-carrying authorization. - Matteo Maffei; Kim Pecina (PLAS, 2011)

Securing social networks. - Michael Backes 001; Matteo Maffei; Kim Pecina (PODC, 2011)

Union and Intersection Types for Secure Protocol Implementations. - Michael Backes 001; Catalin Hritcu; Matteo Maffei (TOSCA, 2011)

G2C: Cryptographic Protocols from Goal-Driven Specifications. - Michael Backes 001; Matteo Maffei; Kim Pecina; Raphael M. Reischuk (TOSCA, 2011)

Automated Synthesis of Secure Distributed Applications. - Michael Backes 001; Matteo Maffei; Kim Pecina (NDSS, 2012)

ObliviAd: Provably Secure and Practical Online Behavioral Advertising. - Michael Backes 001; Aniket Kate; Matteo Maffei; Kim Pecina (IEEE Symposium on Security and Privacy, 2012)

Affine Refinement Types for Authentication and Authorization. - Michele Bugliesi; Stefano Calzavara; Fabienne Eigner; Matteo Maffei (TGC, 2012)

Differential Privacy by Typing in Security Protocols. - Fabienne Eigner; Matteo Maffei (CSF, 2013)

Security and Privacy by Declarative Design. - Matteo Maffei; Kim Pecina; Manuel Reinert (CSF, 2013)

AppGuard - Fine-Grained Policy Enforcement for Untrusted Android Applications. - Michael Backes 001; Sebastian Gerling; Christian Hammer 001; Matteo Maffei; Philipp von Styp-Rekowsky (DPM/SETOP, 2013)

Logical Foundations of Secure Resource Management in Protocol Implementations. - Michele Bugliesi; Stefano Calzavara; Fabienne Eigner; Matteo Maffei (POST, 2013)

AppGuard - Enforcing User Requirements on Android Apps. - Michael Backes 001; Sebastian Gerling; Christian Hammer 001; Matteo Maffei; Philipp von Styp-Rekowsky (TACAS, 2013)

Differentially private data aggregation with optimal utility. - Fabienne Eigner; Matteo Maffei; Ivan Pryvalov; Francesca Pampaloni; Aniket Kate (ACSAC, 2014)

Brief announcement: towards security and privacy for outsourced data in the multi-party setting. - Matteo Maffei; Giulio Malavolta; Manuel Reinert; Dominique Schröder (PODC, 2014)

Privacy-preserving Data Aggregation with Optimal Utility. - Fabienne Eigner; Aniket Kate; Matteo Maffei; Francesca Pampaloni; Ivan Pryvalov (IACR Cryptol. ePrint Arch., 2014)

Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations. - Michael Backes 001; Catalin Hritcu; Matteo Maffei (J. Comput. Secur., 2014)

Symbolic Malleable Zero-Knowledge Proofs. - Michael Backes 001; Fabian Bendun; Matteo Maffei; Esfandiar Mohammadi; Kim Pecina (CSF, 2015)

Privacy Preserving Payments in Credit Networks: Enabling trust with privacy in online marketplaces. - Pedro Moreno-Sanchez; Aniket Kate; Matteo Maffei; Kim Pecina (NDSS, 2015)

Type-Based Verification of Electronic Voting Protocols. - Véronique Cortier; Fabienne Eigner; Steve Kremer; Matteo Maffei; Cyrille Wiedling (IACR Cryptol. ePrint Arch., 2015)

Privacy and Access Control for Outsourced Personal Records. - Matteo Maffei; Giulio Malavolta; Manuel Reinert; Dominique Schröder (IACR Cryptol. ePrint Arch., 2015)

Affine Refinement Types for Secure Distributed Programming. - Michele Bugliesi; Stefano Calzavara; Fabienne Eigner; Matteo Maffei (ACM Trans. Program. Lang. Syst., 2015)

Micro-policies for Web Session Security. - Stefano Calzavara; Riccardo Focardi; Niklas Grimm; Matteo Maffei (CSF, 2016)

HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving. - Stefano Calzavara; Ilya Grishchenko; Matteo Maffei (EuroS&P, 2016)

SilentWhispers: Enforcing Security and Privacy in Decentralized Credit Networks. - Giulio Malavolta; Pedro Moreno-Sanchez; Aniket Kate; Matteo Maffei (IACR Cryptol. ePrint Arch., 2016)

Subset Predicate Encryption and Its Applications. - Jonathan Katz; Matteo Maffei; Giulio Malavolta; Dominique Schröder (CANS, 2017)

On the Security of Frequency-Hiding Order-Preserving Encryption. - Matteo Maffei; Manuel Reinert; Dominique Schröder (CANS, 2017)

A Type System for Privacy Properties. - Véronique Cortier; Niklas Grimm; Joseph Lallemand; Matteo Maffei (CCS, 2017)

A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications. - Stefano Calzavara; Ilya Grishchenko; Adrien Koutsos; Matteo Maffei (CSF, 2017)

A Monadic Framework for Relational Verification (Functional Pearl). - Niklas Grimm; Kenji Maillard; Cédric Fournet; Catalin Hritcu; Matteo Maffei; Jonathan Protzenko; Aseem Rastogi; Nikhil Swamy; Santiago Zanella-Béguelin (CoRR, 2017)

A Type System for Privacy Properties (Technical Report). - Véronique Cortier; Niklas Grimm; Joseph Lallemand; Matteo Maffei (CoRR, 2017)

Maliciously Secure Multi-Client ORAM. - Matteo Maffei; Giulio Malavolta; Manuel Reinert; Dominique Schröder (IACR Cryptol. ePrint Arch., 2017)

Concurrency and Privacy with Payment-Channel Networks. - Giulio Malavolta; Pedro Moreno-Sanchez; Aniket Kate; Matteo Maffei; Srivatsan Ravi (IACR Cryptol. ePrint Arch., 2017)

Security & privacy column. - Matteo Maffei (ACM SIGLOG News, 2017)

Foundations and Tools for the Static Analysis of Ethereum Smart Contracts. - Ilya Grishchenko; Matteo Maffei; Clara Schneidewind (CAV (1), 2018)

A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. - Niklas Grimm; Kenji Maillard; Cédric Fournet; Catalin Hritcu; Matteo Maffei; Jonathan Protzenko; Tahina Ramananandro; Aseem Rastogi; Nikhil Swamy; Santiago Zanella-Béguelin (CPP, 2018)

Equivalence Properties by Typing in Cryptographic Branching Protocols. - Véronique Cortier; Niklas Grimm; Joseph Lallemand; Matteo Maffei (POST, 2018)

A Semantic Framework for the Security Analysis of Ethereum Smart Contracts. - Ilya Grishchenko; Matteo Maffei; Clara Schneidewind (POST, 2018)

UniTraX: Protecting Data Privacy with Discoverable Biases. - Reinhard Munz; Fabienne Eigner; Matteo Maffei; Paul Francis; Deepak Garg 001 (POST, 2018)

WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring. - Stefano Calzavara; Riccardo Focardi; Matteo Maffei; Clara Schneidewind; Marco Squarcina; Mauro Tempesta (USENIX Security Symposium, 2018)

Simple Password-Hardened Encryption Services. - Russell W. F. Lai; Christoph Egger 001; Manuel Reinert; Sherman S. M. Chow; Matteo Maffei; Dominique Schröder (USENIX Security Symposium, 2018)

Multi-Hop Locks for Secure, Privacy-Preserving and Interoperable Payment-Channel Networks. - Giulio Malavolta; Pedro Moreno-Sanchez; Clara Schneidewind; Aniket Kate; Matteo Maffei (IACR Cryptol. ePrint Arch., 2018)

Functional Credentials. - Dominic Deuber; Matteo Maffei; Giulio Malavolta; Max Rabkin; Dominique Schröder; Mark Simkin 001 (Proc. Priv. Enhancing Technol., 2018)

Verifying Relational Properties using Trace Logic. - Gilles Barthe; Renate Eilers; Pamina Georgiou; Bernhard Gleiss; Laura Kovács; Matteo Maffei (FMCAD, 2019)

Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability. - Giulio Malavolta; Pedro Moreno-Sanchez; Clara Schneidewind; Aniket Kate; Matteo Maffei (NDSS, 2019)

Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks. - Christoph Egger 001; Pedro Moreno-Sanchez; Matteo Maffei (IACR Cryptol. ePrint Arch., 2019)

A2L: Anonymous Atomic Locks for Scalability and Interoperability in Payment Channel Hubs. - Erkan Tairi; Pedro Moreno-Sanchez; Matteo Maffei (IACR Cryptol. ePrint Arch., 2019)

Group ORAM for privacy and access control in outsourced personal records. - Matteo Maffei; Giulio Malavolta; Manuel Reinert; Dominique Schröder (J. Comput. Secur., 2019)

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. - Clara Schneidewind; Ilya Grishchenko; Markus Scherer; Matteo Maffei (CCS, 2020)

Language-Based Web Session Integrity. - Stefano Calzavara; Riccardo Focardi; Niklas Grimm; Matteo Maffei; Mauro Tempesta (CSF, 2020)

The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts. - Clara Schneidewind; Markus Scherer; Matteo Maffei (ISoLA (3), 2020)

Cross-Layer Deanonymization Methods in the Lightning Protocol. - Matteo Romiti; Friedhelm Victor; Pedro Moreno-Sanchez; Bernhard Haslhofer; Matteo Maffei (CoRR, 2020)

Demand-Aware Payment Channel Networks. - Lukas Aumayr; Esra Ceylan; Matteo Maffei; Pedro Moreno-Sanchez; Iosif Salem; Stefan Schmid 001 (CoRR, 2020)

Can I Take Your Subdomain? Exploring Related-Domain Attacks in the Modern Web. - Marco Squarcina; Mauro Tempesta; Lorenzo Veronese; Stefano Calzavara; Matteo Maffei (CoRR, 2020)

Generalized Bitcoin-Compatible Channels. - Lukas Aumayr; Oguzhan Ersoy; Andreas Erwig; Sebastian Faust; Kristina Hostáková; Matteo Maffei; Pedro Moreno-Sanchez; Siavash Riahi 002 (IACR Cryptol. ePrint Arch., 2020)

Bitcoin-Compatible Virtual Channels. - Lukas Aumayr; Oguzhan Ersoy; Andreas Erwig; Sebastian Faust; Kristina Hostáková; Matteo Maffei; Pedro Moreno-Sanchez; Siavash Riahi 002 (IACR Cryptol. ePrint Arch., 2020)

Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain Payments. - Erkan Tairi; Pedro Moreno-Sanchez; Matteo Maffei (IACR Cryptol. ePrint Arch., 2020)

A Quantitative Analysis of Security, Anonymity and Scalability for the Lightning Network. - Sergei Tikhomirov; Pedro Moreno-Sanchez; Matteo Maffei (IACR Cryptol. ePrint Arch., 2020)

Generalized Channels from Limited Blockchain Scripts and Adaptor Signatures. - Lukas Aumayr; Oguzhan Ersoy; Andreas Erwig; Sebastian Faust; Kristina Hostáková; Matteo Maffei; Pedro Moreno-Sanchez; Siavash Riahi 002 (ASIACRYPT (2), 2021)

Cross-Layer Deanonymization Methods in the Lightning Protocol. - Matteo Romiti; Friedhelm Victor; Pedro Moreno-Sanchez; Peter Sebastian Nordholt; Bernhard Haslhofer; Matteo Maffei (Financial Cryptography (1), 2021)

Formal Methods for the Security Analysis of Smart Contracts. - Matteo Maffei (FMCAD, 2021)

Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. - Matteo Maffei (ICISSP, 2021)

The Remote on the Local: Exacerbating Web Attacks Via Service Workers Caches. - Marco Squarcina; Stefano Calzavara; Matteo Maffei (SP (Workshops), 2021)

A2L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs. - Erkan Tairi; Pedro Moreno-Sanchez; Matteo Maffei (SP, 2021)

Can I Take Your Subdomain? Exploring Same-Site Attacks in the Modern Web. - Marco Squarcina; Mauro Tempesta; Lorenzo Veronese; Stefano Calzavara; Matteo Maffei (USENIX Security Symposium, 2021)

Pinpointing and Measuring Wasabi and Samourai CoinJoins in the Bitcoin Ecosystem. - Johann Stockinger; Bernhard Haslhofer; Pedro Moreno-Sanchez; Matteo Maffei (CoRR, 2021)

Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431). - Nikolaj S. Bjørner; Maria Christakis; Matteo Maffei; Grigore Rosu (Dagstuhl Reports, 2021)

Blitz: Secure Multi-Hop Payments Without Two-Phase Commits. - Lukas Aumayr; Pedro Moreno-Sanchez; Aniket Kate; Matteo Maffei (IACR Cryptol. ePrint Arch., 2021)

Donner: UTXO-Based Virtual Channels Across Multiple Hops. - Lukas Aumayr; Pedro Moreno-Sanchez; Aniket Kate; Matteo Maffei (IACR Cryptol. ePrint Arch., 2021)

Sleepy Channels: Bitcoin-Compatible Bi-directional Payment Channels without Watchtowers. - Lukas Aumayr; Sri Aravinda Krishnan Thyagarajan; Giulio Malavolta; Pedro Monero-Sánchez; Matteo Maffei (IACR Cryptol. ePrint Arch., 2021)

Adoption and Actual Privacy of Decentralized CoinJoin Implementations in Bitcoin. - Rainer Stütz; Johann Stockinger; Pedro Moreno-Sanchez; Bernhard Haslhofer; Matteo Maffei (AFT, 2022)

Sleepy Channels: Bi-directional Payment Channels without Watchtowers. - Lukas Aumayr; Sri Aravinda Krishnan Thyagarajan; Giulio Malavolta; Pedro Moreno-Sanchez; Matteo Maffei (CCS, 2022)

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. - Lorenzo Veronese; Benjamin Farinier; Mauro Tempesta; Marco Squarcina; Matteo Maffei (CoRR, 2022)

Thora: Atomic And Privacy-Preserving Multi-Channel Updates. - Lukas Aumayr; Kasra Abbaszadeh; Matteo Maffei (IACR Cryptol. ePrint Arch., 2022)

Foundations of Coin Mixing Services. - Noemi Glaeser; Matteo Maffei; Giulio Malavolta; Pedro Moreno-Sanchez; Erkan Tairi; Sri Aravinda Krishnan Thyagarajan (IACR Cryptol. ePrint Arch., 2022)

Glimpse: On-Demand, Cross-Chain Communication for Efficient DeFi Applications on Bitcoin-based Blockchains. - Giulia Scaffino; Lukas Aumayr; Zeta Avarikioti; Matteo Maffei (IACR Cryptol. ePrint Arch., 2022)

Towards a Game-Theoretic Security Analysis of Off-Chain Protocols. - Sophie Rain; Georgia Avarikioti; Laura Kovács; Matteo Maffei (CSF, 2023)

Breaking and Fixing Virtual Channels: Domino Attack and Donner. - Lukas Aumayr; Pedro Moreno-Sanchez; Aniket Kate; Matteo Maffei (NDSS, 2023)

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. - Lorenzo Veronese; Benjamin Farinier; Pedro Bernardo; Mauro Tempesta; Marco Squarcina; Matteo Maffei (SP, 2023)

Glimpse: On-Demand PoW Light Client with Constant-Size Storage for DeFi. - Giulia Scaffino; Lukas Aumayr; Zeta Avarikioti; Matteo Maffei (USENIX Security Symposium, 2023)

Cookie Crumbles: Breaking and Fixing Web Session Integrity. - Marco Squarcina; Pedro Adão; Lorenzo Veronese; Matteo Maffei (USENIX Security Symposium, 2023)

Verifying Global Two-Safety Properties in Neural Networks with Confidence. - Anagha Athavale; Ezio Bartocci; Maria Christakis; Matteo Maffei; Dejan Nickovic; Georg Weissenbacher (CAV (2), 2024)

Wappler: Sound Reachability Analysis for WebAssembly. - Markus Scherer; Jeppe Fredsgaard Blaabjerg; Alexander Sjösten; Magdalena Solitro; Matteo Maffei (CSF, 2024)

Message from General Chairs; EuroSP 2024. - Edgar R. Weippl; Matteo Maffei (EuroS&P Workshops, 2024)

Web Platform Threats: Automated Detection of Web Security Issues With WPT. - Pedro Bernardo; Lorenzo Veronese; Valentino Dalla Valle; Stefano Calzavara; Marco Squarcina; Pedro Adão; Matteo Maffei (USENIX Security Symposium, 2024)

BitVM: Quasi-Turing Complete Computation on Bitcoin. - Lukas Aumayr; Zeta Avarikioti; Robin Linus; Matteo Maffei; Andrea Pelosi; Christos Stefo; Alexei Zamyatin (IACR Cryptol. ePrint Arch., 2024)

Securing Lightning Channels against Rational Miners. - Lukas Aumayr; Zeta Avarikioti; Matteo Maffei; Subhra Mazumdar 001 (IACR Cryptol. ePrint Arch., 2024)

Blink: An Optimal Proof of Proof-of-Work. - Lukas Aumayr; Zeta Avarikioti; Matteo Maffei; Giulia Scaffino; Dionysis Zindros (IACR Cryptol. ePrint Arch., 2024)

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. - Simon Jeanteur; Laura Kovács; Matteo Maffei; Michael Rawson 001 (IACR Cryptol. ePrint Arch., 2024)

Alba: The Dawn of Scalable Bridges for Blockchains. - Giulia Scaffino; Lukas Aumayr; Mahsa Bastankhah; Zeta Avarikioti; Matteo Maffei (IACR Cryptol. ePrint Arch., 2024)

Optimizing virtual payment channel establishment in the face of on-path adversaries. - Lukas Aumayr; Esra Ceylan; Yannik Kopyciok; Matteo Maffei; Pedro Moreno-Sanchez; Iosif Salem; Stefan Schmid 001 (Comput. Commun., 2025)

Bridging Bitcoin to Second Layers via BitVM2. - Robin Linus; Lukas Aumayr; Zeta Avarikioti; Matteo Maffei; Andrea Pelosi; Orfeas Stefanos Thyfronitis Litos; Christos Stefo; David Tse; Alexei Zamyatin (IACR Cryptol. ePrint Arch., 2025)

A Security Framework for General Blockchain Layer 2 Protocols. - Zeta Avarikioti; Matteo Maffei; Yuheng Wang (CoRR, 2025)

A Composable Game-Theoretic Framework for Blockchains. - Zeta Avarikioti; Georg Fuchsbauer; Pim Keer; Matteo Maffei; Fabian Regen (CoRR, 2025)