Matteo Maffei

Most-cited papers

Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability
Giulio Malavolta, Pedro A. Moreno-Sánchez, Clara Schneidewind, Aniket Kate +1 more
2019Network and Distributed System Security Symposium317 citations Open access
Semantic Scholar
A Semantic Framework for the Security Analysis of Ethereum smart contracts
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
2018The post317 citations Open access
Semantic Scholar
Concurrency and Privacy with Payment-Channel Networks
Giulio Malavolta, Pedro A. Moreno-Sánchez, Aniket Kate, Matteo Maffei +1 more
2017IACR Cryptology ePrint Archive316 citations
Semantic Scholar
SilentWhispers: Enforcing Security and Privacy in Decentralized Credit Networks
Giulio Malavolta, Pedro A. Moreno-Sánchez, Aniket Kate, Matteo Maffei
2017Network and Distributed System Security Symposium181 citations
Semantic Scholar
AppGuard - Enforcing User Requirements on Android Apps
M. Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei +1 more
2013International Conference on Tools and Algorithms for Construction and Analysis of Systems173 citations Open access
Semantic Scholar
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei
2020Conference on Computer and Communications Security160 citations Open access
Semantic Scholar
ObliviAd: Provably Secure and Practical Online Behavioral Advertising
M. Backes, Aniket Kate, Matteo Maffei, Kim Pecina
2012IEEE Symposium on Security and Privacy145 citations
Semantic Scholar
Generalized Channels from Limited Blockchain Scripts and Adaptor Signatures
L. Aumayr, O. Ersoy, Andreas Erwig, Sebastian Faust +4 more
2021International Conference on the Theory and Application of Cryptology and Information Security112 citations Open access
Semantic Scholar
Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks
Christoph Egger, Pedro A. Moreno-Sánchez, Matteo Maffei
2019IACR Cryptology ePrint Archive109 citations
Semantic Scholar
A2L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs
Erkan Tairi, Pedro A. Moreno-Sánchez, Matteo Maffei
2021IEEE Symposium on Security and Privacy102 citations
Semantic Scholar
Foundations and Tools for the Static Analysis of Ethereum Smart Contracts
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
2018International Conference on Computer Aided Verification101 citations Open access
Semantic Scholar
Differentially private data aggregation with optimal utility
F. Eigner, Aniket Kate, Matteo Maffei, F. Pampaloni +1 more
2014Asia-Pacific Computer Systems Architecture Conference78 citations
Semantic Scholar
HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving
Stefano Calzavara, Ilya Grishchenko, Matteo Maffei
2016European Symposium on Security and Privacy73 citations Open access
Semantic Scholar
Privacy and Access Control for Outsourced Personal Records
Matteo Maffei, Giulio Malavolta, M. Reinert, Dominique Schroder
2015IEEE Symposium on Security and Privacy71 citations Open access
Semantic Scholar
Blitz: Secure Multi-Hop Payments Without Two-Phase Commits
L. Aumayr, Pedro A. Moreno-Sánchez, Aniket Kate, Matteo Maffei
2021IACR Cryptology ePrint Archive66 citations
Semantic Scholar
Bitcoin-Compatible Virtual Channels
L. Aumayr, Matteo Maffei, O. Ersoy, Andreas Erwig +4 more
2021IEEE Symposium on Security and Privacy66 citations Open access
Semantic Scholar
Foundations of Coin Mixing Services
Noemi Glaeser, Matteo Maffei, Giulio Malavolta, Pedro A. Moreno-Sánchez +2 more
2022IACR Cryptology ePrint Archive63 citations
Semantic Scholar
Privacy Preserving Payments in Credit Networks: Enabling trust with privacy in online marketplaces
Pedro A. Moreno-Sánchez, Aniket Kate, Matteo Maffei, Kim Pecina
2015Network and Distributed System Security Symposium62 citations
Semantic Scholar
A Quantitative Analysis of Security, Anonymity and Scalability for the Lightning Network
S. Tikhomirov, Pedro A. Moreno-Sánchez, Matteo Maffei
20202020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)58 citations Open access
Semantic Scholar
AppGuard - Fine-Grained Policy Enforcement for Untrusted Android Applications
M. Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei +1 more
2013DPM/SETOP57 citations Open access
Semantic Scholar
EtherTrust: Sound Static Analysis of Ethereum bytecode
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
201851 citations
Semantic Scholar
Generalized Bitcoin-Compatible Channels
L. Aumayr, O. Ersoy, Andreas Erwig, Sebastian Faust +4 more
2020IACR Cryptology ePrint Archive47 citations
Semantic Scholar
AppGuard — Real-time policy en- forcement for third-party applications
M. Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei +1 more
201244 citations
Semantic Scholar
Can I Take Your Subdomain? Exploring Same-Site Attacks in the Modern Web
Marco Squarcina, M. Tempesta, Lorenzo Veronese, Stefano Calzavara +1 more
2021USENIX Security Symposium41 citations
Semantic Scholar
Simple Password-Hardened Encryption Services
Russell W. F. Lai, Christoph Egger, M. Reinert, Sherman S. M. Chow +2 more
2018USENIX Security Symposium40 citations
Semantic Scholar
A Type System for Privacy Properties
V. Cortier, Niklas Grimm, J. Lallemand, Matteo Maffei
2017Conference on Computer and Communications Security36 citations Open access
Semantic Scholar
Thora: Atomic and Privacy-Preserving Multi-Channel Updates
L. Aumayr, Kasra Abbaszadeh, Matteo Maffei
2022IACR Cryptology ePrint Archive35 citations Open access
Semantic Scholar
Differential Privacy by Typing in Security Protocols
F. Eigner, Matteo Maffei
2013IEEE Computer Security Foundations Symposium35 citations Open access
Semantic Scholar
Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain Payments
Erkan Tairi, Pedro A. Moreno-Sánchez, Matteo Maffei
2020IACR Cryptology ePrint Archive34 citations
Semantic Scholar
Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations
M. Backes, Cătălin Hrițcu, Matteo Maffei
2014Journal of computing and security34 citations Open access
Semantic Scholar
Sleepy Channels: Bi-directional Payment Channels without Watchtowers
L. Aumayr, Sri Aravinda Krishnan Thyagarajan, Giulio Malavolta, Pedro A. Moreno-Sánchez +1 more
2022Conference on Computer and Communications Security33 citations Open access
Semantic Scholar
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring
Stefano Calzavara, R. Focardi, Matteo Maffei, Clara Schneidewind +2 more
2018USENIX Security Symposium31 citations
Semantic Scholar
Cross-Layer Deanonymization Methods in the Lightning Protocol
Matteo Romiti, Friedhelm Victor, Pedro A. Moreno-Sánchez, Peter Sebastian Nordholt +2 more
2020Financial Cryptography30 citations Open access
Semantic Scholar
Maliciously Secure Multi-Client ORAM
Matteo Maffei, Giulio Malavolta, M. Reinert, Dominique Schroder
2017International Conference on Applied Cryptography and Network Security30 citations Open access
Semantic Scholar
Security and Privacy by Declarative Design
Matteo Maffei, Kim Pecina, M. Reinert
2013IEEE Computer Security Foundations Symposium30 citations
Semantic Scholar
Union and Intersection Types for Secure Protocol Implementations
M. Backes, Cătălin Hrițcu, Matteo Maffei
2011Joint Workshop on Theory of Security and Applications30 citations Open access
Semantic Scholar
A monadic framework for relational verification: applied to information security, program equivalence, and optimizations
Niklas Grimm, K. Maillard, C. Fournet, Cătălin Hrițcu +6 more
2017Certified Programs and Proofs29 citations Open access
Semantic Scholar
Type-Based Verification of Electronic Voting Protocols
V. Cortier, F. Eigner, Steve Kremer, Matteo Maffei +1 more
2015The post27 citations Open access
Semantic Scholar
Verifying Relational Properties using Trace Logic
G. Barthe, R. Eilers, Pamina Georgiou, Bernhard Gleiss +2 more
2019Formal Methods in Computer-Aided Design26 citations Open access
Semantic Scholar
Cookie Crumbles: Breaking and Fixing Web Session Integrity
Marco Squarcina, P. Adão, Lorenzo Veronese, Matteo Maffei
2023USENIX Security Symposium24 citations
Semantic Scholar
Subset Predicate Encryption and Its Applications
Jonathan Katz, Matteo Maffei, Giulio Malavolta, Dominique Schroder
2017Cryptology and Network Security22 citations
Semantic Scholar
Automated Synthesis of Privacy-Preserving Distributed Applications
M. Backes, Matteo Maffei, Kim Pecina
201122 citations
Semantic Scholar
Breaking and Fixing Virtual Channels: Domino Attack and Donner
L. Aumayr, Pedro A. Moreno-Sánchez, Aniket Kate, Matteo Maffei
2023Network and Distributed System Security Symposium21 citations Open access
Semantic Scholar
A2L: Anonymous Atomic Locks for Scalability and Interoperability in Payment Channel Hubs
Erkan Tairi, Pedro A. Moreno-Sánchez, Matteo Maffei
2019IACR Cryptology ePrint Archive21 citations
Semantic Scholar
Functional Credentials
Dominic Deuber, Matteo Maffei, Giulio Malavolta, M. Rabkin +2 more
2018Proceedings on Privacy Enhancing Technologies21 citations Open access
Semantic Scholar
Types for Security Protocols
R. Focardi, Matteo Maffei
2011Formal Models and Techniques for Analyzing Security Protocols21 citations
Semantic Scholar
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols
M. Bugliesi, Stefano Calzavara, F. Eigner, Matteo Maffei
2011IEEE Computer Security Foundations Symposium21 citations
Semantic Scholar
Adoption and Actual Privacy of Decentralized CoinJoin Implementations in Bitcoin
Rainer Stütz, Johann Stockinger, Pedro A. Moreno-Sánchez, Bernhard Haslhofer +1 more
2021Conference on Advances in Financial Technologies20 citations Open access
Semantic Scholar
Towards a Game-Theoretic Security Analysis of Off-Chain Protocols
Sophie Rain, Georgia Avarikioti, Laura Kovács, Matteo Maffei
2021IEEE Computer Security Foundations Symposium20 citations Open access
Semantic Scholar
Automated Synthesis of Secure Distributed Applications
M. Backes, Matteo Maffei, Kim Pecina
2012Network and Distributed System Security Symposium20 citations
Semantic Scholar