Matteo Maffei

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 97

Top Venues

IACR Cryptol. ePrint Arch.

CoRR

USENIX Security Symposium

CCS

Publications

Simon Jeanteur, Laura Kovács, Matteo Maffei, Michael Rawson
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. IACR Cryptol. ePrint Arch. 2024 (2024)
Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
Verifying Global Two-Safety Properties in Neural Networks with Confidence. CoRR (2024)
Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
Verifying Global Two-Safety Properties in Neural Networks with Confidence. CAV (2) (2024)
Giulia Scaffino, Lukas Aumayr, Mahsa Bastankhah, Zeta Avarikioti, Matteo Maffei
Alba: The Dawn of Scalable Bridges for Blockchains. IACR Cryptol. ePrint Arch. 2024 (2024)
Lukas Aumayr, Zeta Avarikioti, Matteo Maffei, Giulia Scaffino, Dionysis Zindros
Blink: An Optimal Proof of Proof-of-Work. IACR Cryptol. ePrint Arch. 2024 (2024)
Pedro Bernardo, Lorenzo Veronese, Valentino Dalla Valle, Stefano Calzavara, Marco Squarcina, Pedro Adão, Matteo Maffei
Web Platform Threats: Automated Detection of Web Security Issues With WPT. USENIX Security Symposium (2024)
Lukas Aumayr, Zeta Avarikioti, Matteo Maffei, Subhra Mazumdar
Securing Lightning Channels against Rational Miners. IACR Cryptol. ePrint Arch. 2024 (2024)
Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei
Breaking and Fixing Virtual Channels: Domino Attack and Donner. NDSS (2023)
Marco Squarcina, Pedro Adão, Lorenzo Veronese, Matteo Maffei
Cookie Crumbles: Breaking and Fixing Web Session Integrity. USENIX Security Symposium (2023)
Simon Jeanteur, Laura Kovács, Matteo Maffei, Michael Rawson
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. CoRR (2023)
Giulia Scaffino, Lukas Aumayr, Zeta Avarikioti, Matteo Maffei
Glimpse: On-Demand PoW Light Client with Constant-Size Storage for DeFi. USENIX Security Symposium (2023)
Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. SP (2023)
Sophie Rain, Georgia Avarikioti, Laura Kovács, Matteo Maffei
Towards a Game-Theoretic Security Analysis of Off-Chain Protocols. CSF (2023)
Noemi Glaeser, Matteo Maffei, Giulio Malavolta, Pedro Moreno-Sanchez, Erkan Tairi, Sri Aravinda Krishnan Thyagarajan
Foundations of Coin Mixing Services. IACR Cryptol. ePrint Arch. 2022 (2022)
Lukas Aumayr, Sri Aravinda Krishnan Thyagarajan, Giulio Malavolta, Pedro Moreno-Sanchez, Matteo Maffei
Sleepy Channels: Bi-directional Payment Channels without Watchtowers. CCS (2022)
Lukas Aumayr, Kasra Abbaszadeh, Matteo Maffei
Thora: Atomic And Privacy-Preserving Multi-Channel Updates. IACR Cryptol. ePrint Arch. 2022 (2022)
Lukas Aumayr, Kasra Abbaszadeh, Matteo Maffei
Thora: Atomic and Privacy-Preserving Multi-Channel Updates. CCS (2022)
Noemi Glaeser, Matteo Maffei, Giulio Malavolta, Pedro Moreno-Sanchez, Erkan Tairi, Sri Aravinda Krishnan Thyagarajan
Foundations of Coin Mixing Services. CCS (2022)
Rainer Stütz, Johann Stockinger, Pedro Moreno-Sanchez, Bernhard Haslhofer, Matteo Maffei
Adoption and Actual Privacy of Decentralized CoinJoin Implementations in Bitcoin. AFT (2022)
Giulia Scaffino, Lukas Aumayr, Zeta Avarikioti, Matteo Maffei
Glimpse: On-Demand, Cross-Chain Communication for Efficient DeFi Applications on Bitcoin-based Blockchains. IACR Cryptol. ePrint Arch. 2022 (2022)
Lorenzo Veronese, Benjamin Farinier, Mauro Tempesta, Marco Squarcina, Matteo Maffei
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. CoRR (2022)
Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei
Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain Payments. Financial Cryptography (2) (2021)
Nikolaj S. Bjørner, Maria Christakis, Matteo Maffei, Grigore Rosu
Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431). Dagstuhl Reports 11 (9) (2021)
Matteo Maffei
Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. ICISSP (2021)
Matteo Romiti, Friedhelm Victor, Pedro Moreno-Sanchez, Peter Sebastian Nordholt, Bernhard Haslhofer, Matteo Maffei
Cross-Layer Deanonymization Methods in the Lightning Protocol. Financial Cryptography (1) (2021)
Matteo Maffei
Formal Methods for the Security Analysis of Smart Contracts. FMCAD (2021)
Marco Squarcina, Stefano Calzavara, Matteo Maffei
The Remote on the Local: Exacerbating Web Attacks Via Service Workers Caches. SP Workshops (2021)
Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei
L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs. IEEE Symposium on Security and Privacy (2021)
Lukas Aumayr, Matteo Maffei, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Siavash Riahi, Kristina Hostáková, Pedro Moreno-Sanchez
Bitcoin-Compatible Virtual Channels. IEEE Symposium on Security and Privacy (2021)
Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei
Donner: UTXO-Based Virtual Channels Across Multiple Hops. IACR Cryptol. ePrint Arch. 2021 (2021)
Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei
Blitz: Secure Multi-Hop Payments Without Two-Phase Commits. USENIX Security Symposium (2021)
Sophie Rain, Zeta Avarikioti, Laura Kovács, Matteo Maffei
Towards a Game-Theoretic Security Analysis of Off-Chain Protocols. CoRR (2021)
Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei
Blitz: Secure Multi-Hop Payments Without Two-Phase Commits. IACR Cryptol. ePrint Arch. 2021 (2021)
Lukas Aumayr, Sri Aravinda Krishnan Thyagarajan, Giulio Malavolta, Pedro Monero-Sánchez, Matteo Maffei
Sleepy Channels: Bitcoin-Compatible Bi-directional Payment Channels without Watchtowers. IACR Cryptol. ePrint Arch. 2021 (2021)
Clara Schneidewind, Markus Scherer, Matteo Maffei
The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts. CoRR (2021)
Johann Stockinger, Bernhard Haslhofer, Pedro Moreno-Sanchez, Matteo Maffei
Pinpointing and Measuring Wasabi and Samourai CoinJoins in the Bitcoin Ecosystem. CoRR (2021)
Lukas Aumayr, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Kristina Hostáková, Matteo Maffei, Pedro Moreno-Sanchez, Siavash Riahi
Generalized Channels from Limited Blockchain Scripts and Adaptor Signatures. ASIACRYPT (2) (2021)
Marco Squarcina, Mauro Tempesta, Lorenzo Veronese, Stefano Calzavara, Matteo Maffei
Can I Take Your Subdomain? Exploring Same-Site Attacks in the Modern Web. USENIX Security Symposium (2021)
Lukas Aumayr, Esra Ceylan, Matteo Maffei, Pedro Moreno-Sanchez, Iosif Salem, Stefan Schmid
Demand-Aware Payment Channel Networks. CoRR (2020)
Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. CoRR (2020)
Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta
Language-Based Web Session Integrity. CoRR (2020)
Matteo Romiti, Friedhelm Victor, Pedro Moreno-Sanchez, Bernhard Haslhofer, Matteo Maffei
Cross-Layer Deanonymization Methods in the Lightning Protocol. CoRR (2020)
Sergei Tikhomirov, Pedro Moreno-Sanchez, Matteo Maffei
A Quantitative Analysis of Security, Anonymity and Scalability for the Lightning Network. IACR Cryptol. ePrint Arch. 2020 (2020)
Marco Squarcina, Mauro Tempesta, Lorenzo Veronese, Stefano Calzavara, Matteo Maffei
Can I Take Your Subdomain? Exploring Related-Domain Attacks in the Modern Web. CoRR (2020)
Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. CCS (2020)
Lukas Aumayr, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Kristina Hostáková, Matteo Maffei, Pedro Moreno-Sanchez, Siavash Riahi
Generalized Bitcoin-Compatible Channels. IACR Cryptol. ePrint Arch. 2020 (2020)
Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei
Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain Payments. IACR Cryptol. ePrint Arch. 2020 (2020)
Sergei Tikhomirov, Pedro Moreno-Sanchez, Matteo Maffei
A Quantitative Analysis of Security, Anonymity and Scalability for the Lightning Network. EuroS&P Workshops (2020)
Clara Schneidewind, Markus Scherer, Matteo Maffei
The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts. ISoLA (3) (2020)
Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta
Language-Based Web Session Integrity. CSF (2020)
Lukas Aumayr, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Kristina Hostáková, Matteo Maffei, Pedro Moreno-Sanchez, Siavash Riahi
Bitcoin-Compatible Virtual Channels. IACR Cryptol. ePrint Arch. 2020 (2020)
Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schröder
Group ORAM for privacy and access control in outsourced personal records. J. Comput. Secur. 27 (1) (2019)
Christoph Egger, Pedro Moreno-Sanchez, Matteo Maffei
Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks. CCS (2019)
Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Srivatsan Ravi
Concurrency and Privacy with Payment-Channel Networks. CoRR (2019)
Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei
Verifying Relational Properties using Trace Logic. CoRR (2019)
Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei
L: Anonymous Atomic Locks for Scalability and Interoperability in Payment Channel Hubs. IACR Cryptol. ePrint Arch. 2019 (2019)
Giulio Malavolta, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, Matteo Maffei
Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability. NDSS (2019)
Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei
Verifying Relational Properties using Trace Logic. FMCAD (2019)
Christoph Egger, Pedro Moreno-Sanchez, Matteo Maffei
Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks. IACR Cryptol. ePrint Arch. 2019 (2019)
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
A Semantic Framework for the Security Analysis of Ethereum smart contracts. CoRR (2018)
Matteo Maffei
Security & privacy column. ACM SIGLOG News 5 (3) (2018)
Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring. USENIX Security Symposium (2018)
Reinhard Munz, Fabienne Eigner, Matteo Maffei, Paul Francis, Deepak Garg
UniTraX: Protecting Data Privacy with Discoverable Biases. POST (2018)
Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin
A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. CPP (2018)
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
Equivalence Properties by Typing in Cryptographic Branching Protocols. POST (2018)
Dominic Deuber, Matteo Maffei, Giulio Malavolta, Max Rabkin, Dominique Schröder, Mark Simkin
Functional Credentials. Proc. Priv. Enhancing Technol. 2018 (2) (2018)
Giulio Malavolta, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, Matteo Maffei
Multi-Hop Locks for Secure, Privacy-Preserving and Interoperable Payment-Channel Networks. IACR Cryptol. ePrint Arch. 2018 (2018)
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
Foundations and Tools for the Static Analysis of Ethereum Smart Contracts. CAV (1) (2018)
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts. POST (2018)
Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring. CoRR (2018)
Russell W. F. Lai, Christoph Egger, Manuel Reinert, Sherman S. M. Chow, Matteo Maffei, Dominique Schröder
Simple Password-Hardened Encryption Services. USENIX Security Symposium (2018)
Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schröder
Maliciously Secure Multi-Client ORAM. ACNS (2017)
Matteo Maffei
Security & privacy column. ACM SIGLOG News 4 (1) (2017)
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
A Type System for Privacy Properties. CCS (2017)
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
A Type System for Privacy Properties (Technical Report). CoRR (2017)
Matteo Maffei
Security & privacy column. ACM SIGLOG News 4 (4) (2017)
Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin
A Monadic Framework for Relational Verification (Functional Pearl). CoRR (2017)
Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Srivatsan Ravi
Concurrency and Privacy with Payment-Channel Networks. IACR Cryptol. ePrint Arch. 2017 (2017)
Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei
SilentWhispers: Enforcing Security and Privacy in Decentralized Credit Networks. NDSS (2017)
Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Srivatsan Ravi
Concurrency and Privacy with Payment-Channel Networks. CCS (2017)
Matteo Maffei, Manuel Reinert, Dominique Schröder
On the Security of Frequency-Hiding Order-Preserving Encryption. CANS (2017)
Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, Matteo Maffei
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications. CSF (2017)
Jonathan Katz, Matteo Maffei, Giulio Malavolta, Dominique Schröder
Subset Predicate Encryption and Its Applications. CANS (2017)
Stefano Calzavara, Ilya Grishchenko, Matteo Maffei
HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving. CoRR (2017)
Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schröder
Maliciously Secure Multi-Client ORAM. IACR Cryptol. ePrint Arch. 2017 (2017)
Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, Matteo Maffei
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications. CoRR (2017)
Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei
Micro-policies for Web Session Security. CSF (2016)
Stefano Calzavara, Ilya Grishchenko, Matteo Maffei
HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving. EuroS&P (2016)
Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei
SilentWhispers: Enforcing Security and Privacy in Decentralized Credit Networks. IACR Cryptol. ePrint Arch. 2016 (2016)
Matteo Maffei
Security & privacy column. ACM SIGLOG News 3 (1) (2016)
Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schröder
Privacy and Access Control for Outsourced Personal Records. IACR Cryptol. ePrint Arch. 2015 (2015)
Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, Cyrille Wiedling
Type-Based Verification of Electronic Voting Protocols. IACR Cryptol. ePrint Arch. 2015 (2015)
Michael Backes, Fabian Bendun, Matteo Maffei, Esfandiar Mohammadi, Kim Pecina
Symbolic Malleable Zero-Knowledge Proofs. CSF (2015)
Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
Affine Refinement Types for Secure Distributed Programming. ACM Trans. Program. Lang. Syst. 37 (4) (2015)
Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schröder
Privacy and Access Control for Outsourced Personal Records. IEEE Symposium on Security and Privacy (2015)
Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Kim Pecina
Privacy Preserving Payments in Credit Networks: Enabling trust with privacy in online marketplaces. NDSS (2015)
Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, Cyrille Wiedling
Type-Based Verification of Electronic Voting Protocols. POST (2015)
Fabienne Eigner, Aniket Kate, Matteo Maffei, Francesca Pampaloni, Ivan Pryvalov
Privacy-preserving Data Aggregation with Optimal Utility. IACR Cryptol. ePrint Arch. 2014 (2014)
Matteo Maffei
Security & privacy column. ACM SIGLOG News 1 (1) (2014)
Michael Backes, Catalin Hritcu, Matteo Maffei
Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations. J. Comput. Secur. 22 (2) (2014)

Matteo Maffei.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matteo Maffei