Matteo Maffei

Google Scholar
48 publications in security and cryptology related venues
Year
Venue
Title
2025
conf/ndss
Alba: The Dawn of Scalable Bridges for Blockchains.
Giulia Scaffino Lukas Aumayr Mahsa Bastankhah Zeta Avarikioti Matteo Maffei
2025
conf/uss
Let's Move2EVM.
Lorenzo Benetollo Andreas Lackner Matteo Maffei Markus Scherer
2024
conf/ccs
Securing Lightning Channels against Rational Miners.
Lukas Aumayr Zeta Avarikioti Matteo Maffei Subhra Mazumdar
2024
conf/uss
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
2024
conf/sp
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model.
Simon Jeanteur Laura Kovács Matteo Maffei Michael Rawson
2024
conf/eurosp
Message from General Chairs; EuroSP 2024.
Edgar R. Weippl Matteo Maffei
2024
conf/eurosp
Message from General Chairs; EuroSP 2024.
Edgar R. Weippl Matteo Maffei
2023
conf/uss
Cookie Crumbles: Breaking and Fixing Web Session Integrity.
Marco Squarcina Pedro Adão Lorenzo Veronese Matteo Maffei
2023
conf/uss
Glimpse: On-Demand PoW Light Client with Constant-Size Storage for DeFi.
Giulia Scaffino Lukas Aumayr Zeta Avarikioti Matteo Maffei
2023
conf/sp
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.
Lorenzo Veronese Benjamin Farinier Pedro Bernardo Mauro Tempesta Marco Squarcina Matteo Maffei
2023
conf/ndss
Breaking and Fixing Virtual Channels: Domino Attack and Donner.
Lukas Aumayr Pedro Moreno-Sanchez Aniket Kate Matteo Maffei
2022
conf/ccs
Sleepy Channels: Bi-directional Payment Channels without Watchtowers.
Lukas Aumayr Sri Aravinda Krishnan Thyagarajan Giulio Malavolta Pedro Moreno-Sanchez Matteo Maffei
2022
conf/ccs
Thora: Atomic and Privacy-Preserving Multi-Channel Updates.
Lukas Aumayr Kasra Abbaszadeh Matteo Maffei
2022
conf/ccs
Foundations of Coin Mixing Services.
Noemi Glaeser Matteo Maffei Giulio Malavolta Pedro Moreno-Sanchez Erkan Tairi Sri Aravinda Krishnan Thyagarajan
2021
conf/uss
Blitz: Secure Multi-Hop Payments Without Two-Phase Commits.
Lukas Aumayr Pedro Moreno-Sanchez Aniket Kate Matteo Maffei
2021
conf/uss
Can I Take Your Subdomain? Exploring Same-Site Attacks in the Modern Web.
Marco Squarcina Mauro Tempesta Lorenzo Veronese Stefano Calzavara Matteo Maffei
2021
conf/fc
Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain Payments.
Erkan Tairi Pedro Moreno-Sanchez Matteo Maffei
2021
conf/fc
Cross-Layer Deanonymization Methods in the Lightning Protocol.
Matteo Romiti Friedhelm Victor Pedro Moreno-Sanchez Peter Sebastian Nordholt Bernhard Haslhofer Matteo Maffei
2021
conf/sp
Bitcoin-Compatible Virtual Channels.
Lukas Aumayr Matteo Maffei Oguzhan Ersoy Andreas Erwig Sebastian Faust Siavash Riahi Kristina Hostáková Pedro Moreno-Sanchez
2021
conf/sp
A<sup>2</sup>L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs.
Erkan Tairi Pedro Moreno-Sanchez Matteo Maffei
2021
conf/sp
The Remote on the Local: Exacerbating Web Attacks Via Service Workers Caches.
Marco Squarcina Stefano Calzavara Matteo Maffei
2021
conf/asiacrypt
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
2020
conf/ccs
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts.
Clara Schneidewind Ilya Grishchenko Markus Scherer Matteo Maffei
2020
conf/eurosp
A Quantitative Analysis of Security, Anonymity and Scalability for the Lightning Network.
Sergei Tikhomirov Pedro Moreno-Sanchez Matteo Maffei
2019
conf/ccs
Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks.
Christoph Egger Pedro Moreno-Sanchez Matteo Maffei
2019
conf/ndss
Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability.
Giulio Malavolta Pedro Moreno-Sanchez Clara Schneidewind Aniket Kate Matteo Maffei
2018
journals/popets
Functional Credentials.
Dominic Deuber Matteo Maffei Giulio Malavolta Max Rabkin Dominique Schröder Mark Simkin
2018
conf/uss
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring.
Stefano Calzavara Riccardo Focardi Matteo Maffei Clara Schneidewind Marco Squarcina Mauro Tempesta
2018
conf/uss
Simple Password-Hardened Encryption Services.
Russell W. F. Lai Christoph Egger Manuel Reinert Sherman S. M. Chow Matteo Maffei Dominique Schröder
2017
conf/ccs
Concurrency and Privacy with Payment-Channel Networks.
Giulio Malavolta Pedro Moreno-Sanchez Aniket Kate Matteo Maffei Srivatsan Ravi
2017
conf/ccs
A Type System for Privacy Properties.
Véronique Cortier Niklas Grimm Joseph Lallemand Matteo Maffei
2017
conf/acns
Maliciously Secure Multi-Client ORAM.
Matteo Maffei Giulio Malavolta Manuel Reinert Dominique Schröder
2017
conf/ndss
SilentWhispers: Enforcing Security and Privacy in Decentralized Credit Networks.
Giulio Malavolta Pedro Moreno-Sanchez Aniket Kate Matteo Maffei
2017
conf/cans
On the Security of Frequency-Hiding Order-Preserving Encryption.
Matteo Maffei Manuel Reinert Dominique Schröder
2017
conf/cans
Subset Predicate Encryption and Its Applications.
Jonathan Katz Matteo Maffei Giulio Malavolta Dominique Schröder
2016
conf/eurosp
HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving.
Stefano Calzavara Ilya Grishchenko Matteo Maffei
2015
conf/sp
Privacy and Access Control for Outsourced Personal Records.
Matteo Maffei Giulio Malavolta Manuel Reinert Dominique Schröder
2015
conf/ndss
Privacy Preserving Payments in Credit Networks: Enabling trust with privacy in online marketplaces.
Pedro Moreno-Sanchez Aniket Kate Matteo Maffei Kim Pecina
2014
conf/acsac
Differentially private data aggregation with optimal utility.
Fabienne Eigner Matteo Maffei Ivan Pryvalov Francesca Pampaloni Aniket Kate
2013
conf/esorics
AppGuard - Fine-Grained Policy Enforcement for Untrusted Android Applications.
Michael Backes Sebastian Gerling Christian Hammer Matteo Maffei Philipp von Styp-Rekowsky
2012
conf/sp
ObliviAd: Provably Secure and Practical Online Behavioral Advertising.
Michael Backes Aniket Kate Matteo Maffei Kim Pecina
2012
conf/ndss
Automated Synthesis of Secure Distributed Applications.
Michael Backes Matteo Maffei Kim Pecina
2011
conf/ndss
A Security API for Distributed Social Networks.
Michael Backes Matteo Maffei Kim Pecina
2010
conf/ccs
Computationally sound verification of source code.
Michael Backes Matteo Maffei Dominique Unruh
2008
conf/ccs
Type-checking zero-knowledge.
Michael Backes Catalin Hritcu Matteo Maffei
2008
conf/sp
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.
Michael Backes Matteo Maffei Dominique Unruh
2007
conf/ccs
A calculus of challenges and responses.
Michael Backes Agostino Cortesi Riccardo Focardi Matteo Maffei
2004
conf/ccs
Authenticity by tagging and typing.
Michele Bugliesi Riccardo Focardi Matteo Maffei

Coauthors

Agostino Cortesi (1)
Andreas Erwig (2)
Andreas Lackner (1)
Aniket Kate (8)
Benjamin Farinier (1)
Bernhard Haslhofer (1)
Catalin Hritcu (1)
Christian Hammer (1)
Christoph Egger (2)
Clara Schneidewind (3)
Dominic Deuber (1)
Dominique Schröder (6)
Dominique Unruh (2)
Edgar R. Weippl (2)
Erkan Tairi (3)
Fabienne Eigner (1)
Francesca Pampaloni (1)
Friedhelm Victor (1)
Giulia Scaffino (2)
Giulio Malavolta (9)
Ilya Grishchenko (2)
Ivan Pryvalov (1)
Jonathan Katz (1)
Joseph Lallemand (1)
Kasra Abbaszadeh (1)
Kim Pecina (4)
Kristina Hostáková (2)
Laura Kovács (1)
Lorenzo Benetollo (1)
Lorenzo Veronese (4)
Lukas Aumayr (9)
Mahsa Bastankhah (1)
Manuel Reinert (4)
Marco Squarcina (6)
Mark Simkin (1)
Markus Scherer (2)
Matteo Maffei (48)
Matteo Romiti (1)
Mauro Tempesta (3)
Max Rabkin (1)
Michael Backes (8)
Michael Rawson (1)
Michele Bugliesi (1)
Niklas Grimm (1)
Noemi Glaeser (1)
Oguzhan Ersoy (2)
Pedro Adão (2)
Pedro Bernardo (2)
Pedro Moreno-Sanchez (15)
Peter Sebastian Nordholt (1)
Philipp von Styp-Rekowsky (1)
Riccardo Focardi (3)
Russell W. F. Lai (1)
Sebastian Faust (2)
Sebastian Gerling (1)
Sergei Tikhomirov (1)
Sherman S. M. Chow (1)
Siavash Riahi (2)
Simon Jeanteur (1)
Sri Aravinda Krishnan Thyagarajan (2)
Srivatsan Ravi (1)
Stefano Calzavara (5)
Subhra Mazumdar (1)
Valentino Dalla Valle (1)
Véronique Cortier (1)
Zeta Avarikioti (3)
Filters
Select all Unselect all
Years:  to