| Anonymous multi-hop locks for blockchain scalability and interoperability G Malavolta, P Moreno-Sanchez, C Schneidewind, A Kate, M Maffei Cryptology ePrint Archive, 2018 | 437 | 2018 |
| A semantic framework for the security analysis of ethereum smart contracts I Grishchenko, M Maffei, C Schneidewind International conference on principles of security and trust, 243-269, 2018 | 436 | 2018 |
| Concurrency and privacy with payment-channel networks G Malavolta, P Moreno-Sanchez, A Kate, M Maffei, S Ravi Proceedings of the 2017 ACM SIGSAC conference on computer and communications …, 2017 | 397 | 2017 |
| Automated verification of remote electronic voting protocols in the applied pi-calculus M Backes, C Hritcu, M Maffei 2008 21st IEEE Computer Security Foundations Symposium, 195-209, 2008 | 251 | 2008 |
| Appguard–enforcing user requirements on android apps M Backes, S Gerling, C Hammer, M Maffei, P von Styp-Rekowsky International Conference on TOOLS and Algorithms for the Construction and …, 2013 | 234 | 2013 |
| Silentwhispers: Enforcing security and privacy in decentralized credit networks G Malavolta, P Moreno-Sanchez, A Kate, M Maffei Cryptology ePrint Archive, 2016 | 231 | 2016 |
| Zero-knowledge in the applied pi-calculus and automated verification of the direct anonymous attestation protocol M Backes, M Maffei, D Unruh 2008 IEEE Symposium on Security and Privacy (sp 2008), 202-215, 2008 | 210 | 2008 |
| Obliviad: Provably secure and practical online behavioral advertising M Backes, A Kate, M Maffei, K Pecina 2012 IEEE Symposium on Security and Privacy, 257-271, 2012 | 197 | 2012 |
| ethor: Practical and provably sound static analysis of ethereum smart contracts C Schneidewind, I Grishchenko, M Scherer, M Maffei Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020 | 188 | 2020 |
| Generalized channels from limited blockchain scripts and adaptor signatures L Aumayr, O Ersoy, A Erwig, S Faust, K Hostáková, M Maffei, ... International Conference on the Theory and Application of Cryptology and …, 2021 | 176* | 2021 |
| A2L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs E Tairi, P Moreno-Sanchez, M Maffei 2021 IEEE symposium on security and privacy (SP), 1834-1851, 2021 | 164* | 2021 |
| Atomic multi-channel updates with constant collateral in bitcoin-compatible payment-channel networks C Egger, P Moreno-Sanchez, M Maffei Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019 | 144 | 2019 |
| Foundations and tools for the static analysis of ethereum smart contracts I Grishchenko, M Maffei, C Schneidewind International conference on computer aided verification, 51-78, 2018 | 130 | 2018 |
| HornDroid: Practical and sound static analysis of Android applications by SMT solving S Calzavara, I Grishchenko, M Maffei 2016 IEEE European Symposium on Security and Privacy (EuroS&P), 47-62, 2016 | 101 | 2016 |
| Privacy and access control for outsourced personal records M Maffei, G Malavolta, M Reinert, D Schröder 2015 IEEE Symposium on Security and Privacy, 341-358, 2015 | 101 | 2015 |
| Bitcoin-compatible virtual channels L Aumayr, M Maffei, O Ersoy, A Erwig, S Faust, S Riahi, K Hostáková, ... 2021 IEEE Symposium on Security and Privacy (SP), 901-918, 2021 | 99 | 2021 |
| A quantitative analysis of security, anonymity and scalability for the lightning network S Tikhomirov, P Moreno-Sanchez, M Maffei 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW …, 2020 | 90 | 2020 |
| Differentially private data aggregation with optimal utility F Eigner, A Kate, M Maffei, F Pampaloni, I Pryvalov Proceedings of the 30th Annual Computer Security Applications Conference …, 2014 | 89 | 2014 |
| Type-checking zero-knowledge M Backes, C Hritcu, M Maffei Proceedings of the 15th ACM conference on Computer and communications …, 2008 | 88 | 2008 |
| Privacy preserving payments in credit networks P Moreno-Sanchez, A Kate, M Maffei, K Pecina Network and distributed security symposium, 1-15, 2015 | 87 | 2015 |
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
