| A semantic framework for the security analysis of ethereum smart contracts I Grishchenko, M Maffei, C Schneidewind Principles of Security and Trust: 7th International Conference, POST 2018 …, 2018 | 383 | 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 | 332 | 2017 |
| Anonymous multi-hop locks for blockchain scalability and interoperability G Malavolta, P Moreno-Sanchez, C Schneidewind, A Kate, M Maffei Cryptology ePrint Archive, 2018 | 324 | 2018 |
| 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 Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 229 | 2013 |
| 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 | 206 | 2008 |
| Silentwhispers: Enforcing security and privacy in decentralized credit networks G Malavolta, P Moreno-Sanchez, A Kate, M Maffei Cryptology ePrint Archive, 2016 | 190 | 2016 |
| 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 | 176 | 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 | 150 | 2020 |
| 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 | 123* | 2021 |
| Foundations and tools for the static analysis of ethereum smart contracts I Grishchenko, M Maffei, C Schneidewind Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 120 | 2018 |
| Generalized channels from limited blockchain scripts and adaptor signatures L Aumayr, O Ersoy, A Erwig, S Faust, K Hostáková, M Maffei, ... Advances in Cryptology–ASIACRYPT 2021: 27th International Conference on the …, 2021 | 115* | 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 | 114 | 2019 |
| 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 | 95 | 2015 |
| 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 | 91 | 2016 |
| A Security API for Distributed Social Networks. M Backes, M Maffei, K Pecina Ndss 11, 35-51, 2011 | 87 | 2011 |
| Type-checking zero-knowledge M Backes, C Hritcu, M Maffei Proceedings of the 15th ACM conference on Computer and communications …, 2008 | 87 | 2008 |
| Privacy preserving payments in credit networks P Moreno-Sanchez, A Kate, M Maffei, K Pecina Network and distributed security symposium, 2015 | 83 | 2015 |
| Computationally sound verification of source code M Backes, M Maffei, D Unruh Proceedings of the 17th ACM conference on Computer and communications …, 2010 | 83 | 2010 |
| 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 | 82 | 2014 |
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
