Matteo Maffei - RankMe

164 papers A* 38A 18B 8C 1Journal 63Unranked 32

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Composable Game-Theoretic Framework for Blockchains. CoRR Zeta Avarikioti, Georg Fuchsbauer, Pim Keer, Matteo Maffei, Fabian Regen
2025	J	`jnl`	A Security Framework for General Blockchain Layer 2 Protocols. CoRR Zeta Avarikioti, Matteo Maffei, Yuheng Wang
2025	A*	`conf`	Alba: The Dawn of Scalable Bridges for Blockchains. NDSS Giulia Scaffino, Lukas Aumayr, Mahsa Bastankhah, Zeta Avarikioti, Matteo Maffei
2025	J	`jnl`	BitPriv: A Privacy-Preserving Protocol for DeFi Applications on Bitcoin. IACR Cryptol. ePrint Arch. Ioannis Alexopoulos, Zeta Avarikioti, Paul Gerhart, Matteo Maffei, Dominique Schröder
2025	—	`conf`	Blink: An Optimal Proof of Proof-of-Work. FC (2) Lukas Aumayr, Zeta Avarikioti, Matteo Maffei, Giulia Scaffino, Dionysis Zindros
2025	J	`jnl`	Bridging Bitcoin to Second Layers via BitVM2. IACR Cryptol. ePrint Arch. Robin Linus, Lukas Aumayr, Zeta Avarikioti, Matteo Maffei, Andrea Pelosi, Orfeas Stefanos Thyfronitis Litos, Christos Stefo, David Tse, Alexei Zamyatin
2025	J	`jnl`	Calyx: Privacy-Preserving Multi-Token Optimistic-Rollup Protocol. CoRR Dominik Apel, Zeta Avarikioti, Matteo Maffei, Yuheng Wang
2025	A*	`conf`	Let's Move2EVM. USENIX Security Symposium Lorenzo Benetollo, Andreas Lackner, Matteo Maffei, Markus Scherer
2025	J	`jnl`	Optimizing virtual payment channel establishment in the face of on-path adversaries. Comput. Commun. Lukas Aumayr, Esra Ceylan, Yannik Kopyciok, Matteo Maffei, Pedro Moreno-Sanchez, Iosif Salem, Stefan Schmid
2025	A*	`conf`	Wanilla: Sound Noninterference Analysis for WebAssembly. CCS Markus Scherer, Jeppe Fredsgaard Blaabjerg, Alexander Sjösten, Matteo Maffei
2025	J	`jnl`	Wanilla: Sound Noninterference Analysis for WebAssembly. CoRR Markus Scherer, Jeppe Fredsgaard Blaabjerg, Alexander Sjösten, Matteo Maffei
2024	J	`jnl`	Alba: The Dawn of Scalable Bridges for Blockchains. IACR Cryptol. ePrint Arch. Giulia Scaffino, Lukas Aumayr, Mahsa Bastankhah, Zeta Avarikioti, Matteo Maffei
2024	J	`jnl`	BitVM: Quasi-Turing Complete Computation on Bitcoin. IACR Cryptol. ePrint Arch. Lukas Aumayr, Zeta Avarikioti, Robin Linus, Matteo Maffei, Andrea Pelosi, Christos Stefo, Alexei Zamyatin
2024	J	`jnl`	Blink: An Optimal Proof of Proof-of-Work. IACR Cryptol. ePrint Arch. Lukas Aumayr, Zeta Avarikioti, Matteo Maffei, Giulia Scaffino, Dionysis Zindros
2024	A*	`conf`	CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. SP Simon Jeanteur, Laura Kovács, Matteo Maffei, Michael Rawson
2024	J	`jnl`	CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. IACR Cryptol. ePrint Arch. Simon Jeanteur, Laura Kovács, Matteo Maffei, Michael Rawson
2024	A	`conf`	Message from General Chairs; EuroSP 2024. EuroS&P Edgar R. Weippl, Matteo Maffei
2024	—	`conf`	Message from General Chairs; EuroSP 2024. EuroS&P Workshops Edgar R. Weippl, Matteo Maffei
2024	B	`conf`	Optimizing Virtual Payment Channel Establishment in the Face of On-Path Adversaries. IFIP Networking Lukas Aumayr, Esra Ceylan, Yannik Kopyciok, Matteo Maffei, Pedro Moreno-Sanchez, Iosif Salem, Stefan Schmid
2024	A*	`conf`	Securing Lightning Channels against Rational Miners. CCS Lukas Aumayr, Zeta Avarikioti, Matteo Maffei, Subhra Mazumdar
2024	J	`jnl`	Securing Lightning Channels against Rational Miners. IACR Cryptol. ePrint Arch. Lukas Aumayr, Zeta Avarikioti, Matteo Maffei, Subhra Mazumdar
2024	—	`conf`	Verifying Global Two-Safety Properties in Neural Networks with Confidence. CAV (2) Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
2024	J	`jnl`	Verifying Global Two-Safety Properties in Neural Networks with Confidence. CoRR Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
2024	A	`conf`	Wappler: Sound Reachability Analysis for WebAssembly. CSF Markus Scherer, Jeppe Fredsgaard Blaabjerg, Alexander Sjösten, Magdalena Solitro, Matteo Maffei
2024	A*	`conf`	Web Platform Threats: Automated Detection of Web Security Issues With WPT. USENIX Security Symposium Pedro Bernardo, Lorenzo Veronese, Valentino Dalla Valle, Stefano Calzavara, Marco Squarcina, Pedro Adão, Matteo Maffei
2023	A*	`conf`	Breaking and Fixing Virtual Channels: Domino Attack and Donner. NDSS Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei
2023	A*	`conf`	Cookie Crumbles: Breaking and Fixing Web Session Integrity. USENIX Security Symposium Marco Squarcina, Pedro Adão, Lorenzo Veronese, Matteo Maffei
2023	J	`jnl`	CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model. CoRR Simon Jeanteur, Laura Kovács, Matteo Maffei, Michael Rawson
2023	A*	`conf`	Glimpse: On-Demand PoW Light Client with Constant-Size Storage for DeFi. USENIX Security Symposium Giulia Scaffino, Lukas Aumayr, Zeta Avarikioti, Matteo Maffei
2023	A	`conf`	Towards a Game-Theoretic Security Analysis of Off-Chain Protocols. CSF Sophie Rain, Georgia Avarikioti, Laura Kovács, Matteo Maffei
2023	A*	`conf`	WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. SP Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei
2022	B	`conf`	Adoption and Actual Privacy of Decentralized CoinJoin Implementations in Bitcoin. AFT Rainer Stütz, Johann Stockinger, Pedro Moreno-Sanchez, Bernhard Haslhofer, Matteo Maffei
2022	A*	`conf`	Foundations of Coin Mixing Services. CCS Noemi Glaeser, Matteo Maffei, Giulio Malavolta, Pedro Moreno-Sanchez, Erkan Tairi, Sri Aravinda Krishnan Thyagarajan
2022	J	`jnl`	Foundations of Coin Mixing Services. IACR Cryptol. ePrint Arch. Noemi Glaeser, Matteo Maffei, Giulio Malavolta, Pedro Moreno-Sanchez, Erkan Tairi, Sri Aravinda Krishnan Thyagarajan
2022	J	`jnl`	Glimpse: On-Demand, Cross-Chain Communication for Efficient DeFi Applications on Bitcoin-based Blockchains. IACR Cryptol. ePrint Arch. Giulia Scaffino, Lukas Aumayr, Zeta Avarikioti, Matteo Maffei
2022	A*	`conf`	Sleepy Channels: Bi-directional Payment Channels without Watchtowers. CCS Lukas Aumayr, Sri Aravinda Krishnan Thyagarajan, Giulio Malavolta, Pedro Moreno-Sanchez, Matteo Maffei
2022	J	`jnl`	Thora: Atomic And Privacy-Preserving Multi-Channel Updates. IACR Cryptol. ePrint Arch. Lukas Aumayr, Kasra Abbaszadeh, Matteo Maffei
2022	A*	`conf`	Thora: Atomic and Privacy-Preserving Multi-Channel Updates. CCS Lukas Aumayr, Kasra Abbaszadeh, Matteo Maffei
2022	J	`jnl`	WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. CoRR Lorenzo Veronese, Benjamin Farinier, Mauro Tempesta, Marco Squarcina, Matteo Maffei
2021	A*	`conf`	A SP Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei
2021	A*	`conf`	Bitcoin-Compatible Virtual Channels. SP Lukas Aumayr, Matteo Maffei, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Siavash Riahi, Kristina Hostáková, Pedro Moreno-Sanchez
2021	A*	`conf`	Blitz: Secure Multi-Hop Payments Without Two-Phase Commits. USENIX Security Symposium Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei
2021	J	`jnl`	Blitz: Secure Multi-Hop Payments Without Two-Phase Commits. IACR Cryptol. ePrint Arch. Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei
2021	A*	`conf`	Can I Take Your Subdomain? Exploring Same-Site Attacks in the Modern Web. USENIX Security Symposium Marco Squarcina, Mauro Tempesta, Lorenzo Veronese, Stefano Calzavara, Matteo Maffei
2021	—	`conf`	Cross-Layer Deanonymization Methods in the Lightning Protocol. Financial Cryptography (1) Matteo Romiti, Friedhelm Victor, Pedro Moreno-Sanchez, Peter Sebastian Nordholt, Bernhard Haslhofer, Matteo Maffei
2021	J	`jnl`	Donner: UTXO-Based Virtual Channels Across Multiple Hops. IACR Cryptol. ePrint Arch. Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei
2021	B	`conf`	Formal Methods for the Security Analysis of Smart Contracts. FMCAD Matteo Maffei
2021	—	`conf`	Generalized Channels from Limited Blockchain Scripts and Adaptor Signatures. ASIACRYPT (2) Lukas Aumayr, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Kristina Hostáková, Matteo Maffei, Pedro Moreno-Sanchez, Siavash Riahi
2021	J	`jnl`	Pinpointing and Measuring Wasabi and Samourai CoinJoins in the Bitcoin Ecosystem. CoRR Johann Stockinger, Bernhard Haslhofer, Pedro Moreno-Sanchez, Matteo Maffei
2021	—	`conf`	Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain Payments. Financial Cryptography (2) Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei
2021	C	`conf`	Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. ICISSP Matteo Maffei
2021	J	`jnl`	Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431). Dagstuhl Reports Nikolaj S. Bjørner, Maria Christakis, Matteo Maffei, Grigore Rosu
2021	J	`jnl`	Sleepy Channels: Bitcoin-Compatible Bi-directional Payment Channels without Watchtowers. IACR Cryptol. ePrint Arch. Lukas Aumayr, Sri Aravinda Krishnan Thyagarajan, Giulio Malavolta, Pedro Monero-Sánchez, Matteo Maffei
2021	J	`jnl`	The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts. CoRR Clara Schneidewind, Markus Scherer, Matteo Maffei
2021	—	`conf`	The Remote on the Local: Exacerbating Web Attacks Via Service Workers Caches. SP (Workshops) Marco Squarcina, Stefano Calzavara, Matteo Maffei
2021	J	`jnl`	Towards a Game-Theoretic Security Analysis of Off-Chain Protocols. CoRR Sophie Rain, Zeta Avarikioti, Laura Kovács, Matteo Maffei
2020	—	`conf`	A Quantitative Analysis of Security, Anonymity and Scalability for the Lightning Network. EuroS&P Workshops Sergei Tikhomirov, Pedro Moreno-Sanchez, Matteo Maffei
2020	J	`jnl`	A Quantitative Analysis of Security, Anonymity and Scalability for the Lightning Network. IACR Cryptol. ePrint Arch. Sergei Tikhomirov, Pedro Moreno-Sanchez, Matteo Maffei
2020	J	`jnl`	Bitcoin-Compatible Virtual Channels. IACR Cryptol. ePrint Arch. Lukas Aumayr, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Kristina Hostáková, Matteo Maffei, Pedro Moreno-Sanchez, Siavash Riahi
2020	J	`jnl`	Can I Take Your Subdomain? Exploring Related-Domain Attacks in the Modern Web. CoRR Marco Squarcina, Mauro Tempesta, Lorenzo Veronese, Stefano Calzavara, Matteo Maffei
2020	J	`jnl`	Cross-Layer Deanonymization Methods in the Lightning Protocol. CoRR Matteo Romiti, Friedhelm Victor, Pedro Moreno-Sanchez, Bernhard Haslhofer, Matteo Maffei
2020	J	`jnl`	Demand-Aware Payment Channel Networks. CoRR Lukas Aumayr, Esra Ceylan, Matteo Maffei, Pedro Moreno-Sanchez, Iosif Salem, Stefan Schmid
2020	J	`jnl`	Generalized Bitcoin-Compatible Channels. IACR Cryptol. ePrint Arch. Lukas Aumayr, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Kristina Hostáková, Matteo Maffei, Pedro Moreno-Sanchez, Siavash Riahi
2020	A	`conf`	Language-Based Web Session Integrity. CSF Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta
2020	J	`jnl`	Language-Based Web Session Integrity. CoRR Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta
2020	J	`jnl`	Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain Payments. IACR Cryptol. ePrint Arch. Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei
2020	—	`conf`	The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts. ISoLA (3) Clara Schneidewind, Markus Scherer, Matteo Maffei
2020	A*	`conf`	eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. CCS Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei
2020	J	`jnl`	eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. CoRR Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei
2019	J	`jnl`	A IACR Cryptol. ePrint Arch. Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei
2019	A*	`conf`	Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability. NDSS Giulio Malavolta, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, Matteo Maffei
2019	A*	`conf`	Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks. CCS Christoph Egger, Pedro Moreno-Sanchez, Matteo Maffei
2019	J	`jnl`	Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks. IACR Cryptol. ePrint Arch. Christoph Egger, Pedro Moreno-Sanchez, Matteo Maffei
2019	J	`jnl`	Concurrency and Privacy with Payment-Channel Networks. CoRR Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Srivatsan Ravi
2019	J	`jnl`	Group ORAM for privacy and access control in outsourced personal records. J. Comput. Secur. Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schröder
2019	B	`conf`	Verifying Relational Properties using Trace Logic. FMCAD Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei
2019	J	`jnl`	Verifying Relational Properties using Trace Logic. CoRR Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei
2018	—	`conf`	A Semantic Framework for the Security Analysis of Ethereum Smart Contracts. POST Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
2018	J	`jnl`	A Semantic Framework for the Security Analysis of Ethereum smart contracts. CoRR Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
2018	B	`conf`	A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. CPP Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin
2018	—	`conf`	Equivalence Properties by Typing in Cryptographic Branching Protocols. POST Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
2018	—	`conf`	Foundations and Tools for the Static Analysis of Ethereum Smart Contracts. CAV (1) Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
2018	J	`jnl`	Functional Credentials. Proc. Priv. Enhancing Technol. Dominic Deuber, Matteo Maffei, Giulio Malavolta, Max Rabkin, Dominique Schröder, Mark Simkin
2018	J	`jnl`	Multi-Hop Locks for Secure, Privacy-Preserving and Interoperable Payment-Channel Networks. IACR Cryptol. ePrint Arch. Giulio Malavolta, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, Matteo Maffei
2018	J	`jnl`	Security & privacy column. ACM SIGLOG News Matteo Maffei
2018	A*	`conf`	Simple Password-Hardened Encryption Services. USENIX Security Symposium Russell W. F. Lai, Christoph Egger, Manuel Reinert, Sherman S. M. Chow, Matteo Maffei, Dominique Schröder
2018	—	`conf`	UniTraX: Protecting Data Privacy with Discoverable Biases. POST Reinhard Munz, Fabienne Eigner, Matteo Maffei, Paul Francis, Deepak Garg
2018	A*	`conf`	WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring. USENIX Security Symposium Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta
2018	J	`jnl`	WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring. CoRR Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta
2017	J	`jnl`	A Monadic Framework for Relational Verification (Functional Pearl). CoRR Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin
2017	A	`conf`	A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications. CSF Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, Matteo Maffei
2017	J	`jnl`	A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications. CoRR Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, Matteo Maffei
2017	J	`jnl`	A Type System for Privacy Properties (Technical Report). CoRR Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
2017	A*	`conf`	A Type System for Privacy Properties. CCS Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
2017	A*	`conf`	Concurrency and Privacy with Payment-Channel Networks. CCS Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Srivatsan Ravi
2017	J	`jnl`	Concurrency and Privacy with Payment-Channel Networks. IACR Cryptol. ePrint Arch. Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Srivatsan Ravi
2017	J	`jnl`	HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving. CoRR Stefano Calzavara, Ilya Grishchenko, Matteo Maffei
2017	B	`conf`	Maliciously Secure Multi-Client ORAM. ACNS Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schröder
2017	J	`jnl`	Maliciously Secure Multi-Client ORAM. IACR Cryptol. ePrint Arch. Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schröder
2017	B	`conf`	On the Security of Frequency-Hiding Order-Preserving Encryption. CANS Matteo Maffei, Manuel Reinert, Dominique Schröder
2017	—	`ed.`	Principles of Security and Trust - 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings POST Matteo Maffei, Mark Ryan
2017	J	`jnl`	Security & privacy column. ACM SIGLOG News Matteo Maffei
2017	J	`jnl`	Security & privacy column. ACM SIGLOG News Matteo Maffei
2017	A*	`conf`	SilentWhispers: Enforcing Security and Privacy in Decentralized Credit Networks. NDSS Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei
2017	B	`conf`	Subset Predicate Encryption and Its Applications. CANS Jonathan Katz, Matteo Maffei, Giulio Malavolta, Dominique Schröder
2016	A	`conf`	HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving. EuroS&P Stefano Calzavara, Ilya Grishchenko, Matteo Maffei
2016	A	`conf`	Micro-policies for Web Session Security. CSF Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei
2016	J	`jnl`	Security & privacy column. ACM SIGLOG News Matteo Maffei
2016	J	`jnl`	SilentWhispers: Enforcing Security and Privacy in Decentralized Credit Networks. IACR Cryptol. ePrint Arch. Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei
2015	J	`jnl`	Affine Refinement Types for Secure Distributed Programming. ACM Trans. Program. Lang. Syst. Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
2015	A*	`conf`	Privacy Preserving Payments in Credit Networks: Enabling trust with privacy in online marketplaces. NDSS Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Kim Pecina
2015	A*	`conf`	Privacy and Access Control for Outsourced Personal Records. IEEE Symposium on Security and Privacy Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schröder
2015	J	`jnl`	Privacy and Access Control for Outsourced Personal Records. IACR Cryptol. ePrint Arch. Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schröder
2015	A	`conf`	Symbolic Malleable Zero-Knowledge Proofs. CSF Michael Backes, Fabian Bendun, Matteo Maffei, Esfandiar Mohammadi, Kim Pecina
2015	—	`conf`	Type-Based Verification of Electronic Voting Protocols. POST Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, Cyrille Wiedling
2015	J	`jnl`	Type-Based Verification of Electronic Voting Protocols. IACR Cryptol. ePrint Arch. Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, Cyrille Wiedling
2014	A*	`conf`	Brief announcement: towards security and privacy for outsourced data in the multi-party setting. PODC Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schröder
2014	A	`conf`	Differentially private data aggregation with optimal utility. ACSAC Fabienne Eigner, Matteo Maffei, Ivan Pryvalov, Francesca Pampaloni, Aniket Kate
2014	J	`jnl`	Privacy-preserving Data Aggregation with Optimal Utility. IACR Cryptol. ePrint Arch. Fabienne Eigner, Aniket Kate, Matteo Maffei, Francesca Pampaloni, Ivan Pryvalov
2014	J	`jnl`	Security & privacy column. ACM SIGLOG News Matteo Maffei
2014	—	`ed.`	Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers TGC Matteo Maffei, Emilio Tuosto
2014	J	`jnl`	Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations. J. Comput. Secur. Michael Backes, Catalin Hritcu, Matteo Maffei
2013	A	`conf`	AppGuard - Enforcing User Requirements on Android Apps. TACAS Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky
2013	—	`conf`	AppGuard - Fine-Grained Policy Enforcement for Untrusted Android Applications. DPM/SETOP Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky
2013	A	`conf`	Differential Privacy by Typing in Security Protocols. CSF Fabienne Eigner, Matteo Maffei
2013	—	`conf`	Logical Foundations of Secure Resource Management in Protocol Implementations. POST Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
2013	A	`conf`	Security and Privacy by Declarative Design. CSF Matteo Maffei, Kim Pecina, Manuel Reinert
2012	—	`conf`	Affine Refinement Types for Authentication and Authorization. TGC Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
2012	A*	`conf`	Automated Synthesis of Secure Distributed Applications. NDSS Michael Backes, Matteo Maffei, Kim Pecina
2012	A*	`conf`	ObliviAd: Provably Secure and Practical Online Behavioral Advertising. IEEE Symposium on Security and Privacy Michael Backes, Aniket Kate, Matteo Maffei, Kim Pecina
2011	A*	`conf`	A Security API for Distributed Social Networks. NDSS Michael Backes, Matteo Maffei, Kim Pecina
2011	—	`conf`	G2C: Cryptographic Protocols from Goal-Driven Specifications. TOSCA Michael Backes, Matteo Maffei, Kim Pecina, Raphael M. Reischuk
2011	—	`conf`	Privacy-aware proof-carrying authorization. PLAS Matteo Maffei, Kim Pecina
2011	A	`conf`	Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols. CSF Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
2011	A*	`conf`	Securing social networks. PODC Michael Backes, Matteo Maffei, Kim Pecina
2011	—	`ch.`	Types for Security Protocols. Formal Models and Techniques for Analyzing Security Protocols Riccardo Focardi, Matteo Maffei
2011	—	`conf`	Union and Intersection Types for Secure Protocol Implementations. TOSCA Michael Backes, Catalin Hritcu, Matteo Maffei
2010	A	`conf`	Anonymous Webs of Trust. Privacy Enhancing Technologies Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina
2010	A*	`conf`	Brief announcement: anonymity and trust in distributed systems. PODC Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina
2010	—	`conf`	Computationally Sound Abstraction and Verification of Secure Multi-Party Computations. FSTTCS Michael Backes, Matteo Maffei, Esfandiar Mohammadi
2010	J	`jnl`	Computationally Sound Verification of Source Code. IACR Cryptol. ePrint Arch. Michael Backes, Matteo Maffei, Dominique Unruh
2010	A*	`conf`	Computationally sound verification of source code. CCS Michael Backes, Matteo Maffei, Dominique Unruh
2010	—	`conf`	Ubiquitous Verification of Ubiquitous Systems. SEUS Reinhard Wilhelm, Matteo Maffei
2009	A	`conf`	Achieving Security Despite Compromise Using Zero-knowledge. CSF Michael Backes, Martin P. Grochulla, Catalin Hritcu, Matteo Maffei
2009	—	`conf`	Anonymity and Censorship Resistance in Unstructured Overlay Networks. OTM Conferences (1) Michael Backes, Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, Gerhard Weikum
2009	—	`conf`	Design and Verification of Anonymous Trust Protocols. Security Protocols Workshop Michael Backes, Matteo Maffei
2008	A*	`conf`	Anonymous and censorship resistant content sharing in unstructured overlays. PODC Michael Backes, Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, Gerhard Weikum
2008	A	`conf`	Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. CSF Michael Backes, Catalin Hritcu, Matteo Maffei
2008	A*	`conf`	The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis. CAV Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina
2008	A*	`conf`	Type-checking zero-knowledge. CCS Michael Backes, Catalin Hritcu, Matteo Maffei
2008	A*	`conf`	Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. SP Michael Backes, Matteo Maffei, Dominique Unruh
2007	—	`conf`	A calculus of challenges and responses. FMSE Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei
2007	A	`conf`	Causality-based Abstraction of Multiplicity in Security Protocols. CSF Michael Backes, Agostino Cortesi, Matteo Maffei
2007	J	`jnl`	Dynamic types for authentication. J. Comput. Secur. Michele Bugliesi, Riccardo Focardi, Matteo Maffei
2007	—	`conf`	Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. Formal Protocol Verification Applied Michael Backes, Matteo Maffei, Dominique Unruh
2007	J	`jnl`	Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. IACR Cryptol. ePrint Arch. Michael Backes, Matteo Maffei, Dominique Unruh
2006	—	`—`	Dynamic typing for security protocols. Matteo Maffei
2005	—	`conf`	Analysis of Typed Analyses of Authentication Protocols. CSFW Michele Bugliesi, Riccardo Focardi, Matteo Maffei
2005	—	`conf`	Inferring authentication tags. WITS Riccardo Focardi, Matteo Maffei, Francesco Placella
2004	—	`conf`	Authenticity by tagging and typing. FMSE Michele Bugliesi, Riccardo Focardi, Matteo Maffei
2004	A	`conf`	Compositional Analysis of Authentication Protocols. ESOP Michele Bugliesi, Riccardo Focardi, Matteo Maffei
2004	—	`conf`	Tags for Multi-Protocol Authentication. SecCo Matteo Maffei
2003	—	`conf`	Principles for Entity Authentication. Ershov Memorial Conference Michele Bugliesi, Riccardo Focardi, Matteo Maffei
2003	—	`conf`	The rho-spi Calculus at Work: Authentication Case Studies. MEFISTO Riccardo Focardi, Matteo Maffei