Matteo Maffei
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
55
Venues
21
Active years
2004–2025
Best venue rank
A*
Where they publish
Papers
55 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CCS | Wanilla: Sound Noninterference Analysis for WebAssembly. | Markus Scherer, Jeppe Fredsgaard Blaabjerg, Alexander Sjsten, Matteo Maffei |
| 2025 | FC | Blink: An Optimal Proof of Proof-of-Work. | Lukas Aumayr, Zeta Avarikioti, Matteo Maffei, Giulia Scaffino, Dionysis Zindros |
| 2025 | NDSS | Alba: The Dawn of Scalable Bridges for Blockchains. | Giulia Scaffino, Lukas Aumayr, Mahsa Bastankhah, Zeta Avarikioti, Matteo Maffei |
| 2024 | CAV | Verifying Global Two-Safety Properties in Neural Networks with Confidence. | Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher |
| 2024 | CCS | Securing Lightning Channels against Rational Miners. | Lukas Aumayr, Zeta Avarikioti, Matteo Maffei, Subhra Mazumdar |
| 2024 | Networking | 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 |
| 2024 | SP | CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. | Simon Jeanteur, Laura Kovcs, Matteo Maffei, Michael Rawson |
| 2023 | NDSS | Breaking and Fixing Virtual Channels: Domino Attack and Donner. | Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei |
| 2023 | SP | WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. | Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei |
| 2022 | AFT | Adoption and Actual Privacy of Decentralized CoinJoin Implementations in Bitcoin. | Rainer Sttz, Johann Stockinger, Pedro Moreno-Sanchez, Bernhard Haslhofer, Matteo Maffei |
| 2022 | CCS | Thora: Atomic and Privacy-Preserving Multi-Channel Updates. | Lukas Aumayr, Kasra Abbaszadeh, Matteo Maffei |
| 2022 | CCS | Sleepy Channels: Bi-directional Payment Channels without Watchtowers. | Lukas Aumayr, Sri Aravinda Krishnan Thyagarajan, Giulio Malavolta, Pedro Moreno-Sanchez, Matteo Maffei |
| 2022 | CCS | Foundations of Coin Mixing Services. | Noemi Glaeser, Matteo Maffei, Giulio Malavolta, Pedro Moreno-Sanchez, Erkan Tairi, Sri Aravinda Krishnan Thyagarajan |
| 2021 | ASIACRYPT | Generalized Channels from Limited Blockchain Scripts and Adaptor Signatures. | Lukas Aumayr, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Kristina Hostkov, Matteo Maffei, Pedro Moreno-Sanchez, Siavash Riahi |
| 2021 | FC | Cross-Layer Deanonymization Methods in the Lightning Protocol. | Matteo Romiti, Friedhelm Victor, Pedro Moreno-Sanchez, Peter Sebastian Nordholt, Bernhard Haslhofer, Matteo Maffei |
| 2021 | FC | Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain Payments. | Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei |
| 2021 | FMCAD | Formal Methods for the Security Analysis of Smart Contracts. | Matteo Maffei |
| 2021 | ICISSP | Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. | Matteo Maffei |
| 2021 | SP | Bitcoin-Compatible Virtual Channels. | Lukas Aumayr, Matteo Maffei, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Siavash Riahi, Kristina Hostkov, Pedro Moreno-Sanchez |
| 2021 | SP | The Remote on the Local: Exacerbating Web Attacks Via Service Workers Caches. | Marco Squarcina, Stefano Calzavara, Matteo Maffei |
| 2021 | SP | A | Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei |
| 2020 | CCS | eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. | Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei |
| 2020 | ISoLA | 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 |
| 2019 | CCS | Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks. | Christoph Egger, Pedro Moreno-Sanchez, Matteo Maffei |
| 2019 | FMCAD | Verifying Relational Properties using Trace Logic. | Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovcs, Matteo Maffei |
| 2019 | NDSS | Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability. | Giulio Malavolta, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, Matteo Maffei |
| 2018 | CAV | Foundations and Tools for the Static Analysis of Ethereum Smart Contracts. | Ilya Grishchenko, Matteo Maffei, Clara Schneidewind |
| 2018 | CPP | A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. | Niklas Grimm, Kenji Maillard, Cdric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2017 | ACNS | Maliciously Secure Multi-Client ORAM. | Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schrder |
| 2017 | CANS | Subset Predicate Encryption and Its Applications. | Jonathan Katz, Matteo Maffei, Giulio Malavolta, Dominique Schrder |
| 2017 | CANS | On the Security of Frequency-Hiding Order-Preserving Encryption. | Matteo Maffei, Manuel Reinert, Dominique Schrder |
| 2017 | CCS | A Type System for Privacy Properties. | Vronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei |
| 2017 | CCS | Concurrency and Privacy with Payment-Channel Networks. | Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Srivatsan Ravi |
| 2017 | NDSS | SilentWhispers: Enforcing Security and Privacy in Decentralized Credit Networks. | Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei |
| 2015 | NDSS | Privacy Preserving Payments in Credit Networks: Enabling trust with privacy in online marketplaces. | Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Kim Pecina |
| 2015 | SP | Privacy and Access Control for Outsourced Personal Records. | Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schrder |
| 2014 | ACSAC | Differentially private data aggregation with optimal utility. | Fabienne Eigner, Matteo Maffei, Ivan Pryvalov, Francesca Pampaloni, Aniket Kate |
| 2014 | PODC | Brief announcement: towards security and privacy for outsourced data in the multi-party setting. | Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schrder |
| 2013 | ESORICS | AppGuard - Fine-Grained Policy Enforcement for Untrusted Android Applications. | Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky |
| 2013 | TACAS | AppGuard - Enforcing User Requirements on Android Apps. | Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky |
| 2012 | NDSS | Automated Synthesis of Secure Distributed Applications. | Michael Backes, Matteo Maffei, Kim Pecina |
| 2012 | SP | ObliviAd: Provably Secure and Practical Online Behavioral Advertising. | Michael Backes, Aniket Kate, Matteo Maffei, Kim Pecina |
| 2011 | NDSS | A Security API for Distributed Social Networks. | Michael Backes, Matteo Maffei, Kim Pecina |
| 2011 | PLDI | Privacy-aware proof-carrying authorization. | Matteo Maffei, Kim Pecina |
| 2011 | PODC | Securing social networks. | Michael Backes, Matteo Maffei, Kim Pecina |
| 2010 | CCS | Computationally sound verification of source code. | Michael Backes, Matteo Maffei, Dominique Unruh |
| 2010 | PODC | Brief announcement: anonymity and trust in distributed systems. | Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina |
| 2008 | CAV | The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis. | Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina |
| 2008 | CCS | Type-checking zero-knowledge. | Michael Backes, Catalin Hritcu, Matteo Maffei |
| 2008 | PODC | Anonymous and censorship resistant content sharing in unstructured overlays. | Michael Backes, Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, Gerhard Weikum |
| 2008 | SP | Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. | Michael Backes, Matteo Maffei, Dominique Unruh |
| 2007 | CCS | A calculus of challenges and responses. | Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei |
| 2005 | POPL | Inferring authentication tags. | Riccardo Focardi, Matteo Maffei, Francesco Placella |
| 2004 | CCS | Authenticity by tagging and typing. | Michele Bugliesi, Riccardo Focardi, Matteo Maffei |
| 2004 | ESOP | Compositional Analysis of Authentication Protocols. | Michele Bugliesi, Riccardo Focardi, Matteo Maffei |