Forschungsinteressen
• "Efficient" provably secure cryptography and lightweight protocols
• (Zero-knowledge) proof systems
• Security models and an abstract/algebraic view on cryptography
Publikationsliste
On Efficient Zero-Knowledge Arguments. Dissertation
2023, Februar 20. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000156118
Fiat–Shamir Transformation of Multi-Round Interactive Proofs (Extended Version)
2023. Journal of Cryptology, 36 (4), Art.-Nr.: 36. doi:10.1007/s00145-023-09478-y
Publicly Verifiable Zero-Knowledge and Post-Quantum Signatures from VOLE-in-the-Head
2023. Advances in Cryptology – CRYPTO 2023 – 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023, Proceedings, Part V. Ed.: H. Handschuh, 581–615, Springer Nature Switzerland. doi:10.1007/978-3-031-38554-4_19
Composable Long-Term Security with Rewinding
2023. Theory of Cryptography – 21st International Conference, TCC 2023, Taipei, Taiwan, November 29–December 2, 2023, Proceedings, Part IV. Ed.: G. Rothblum, 510 – 541, Springer Nature Switzerland. doi:10.1007/978-3-031-48624-1_19
Universally Composable Auditable Surveillance
2023. Advances in Cryptology – ASIACRYPT 2023 – 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4–8, 2023, Proceedings, Part II. Ed.: J. Guo, 453 – 487, Springer Nature Singapore. doi:10.1007/978-981-99-8724-5_14
Composable Long-Term Security with Rewinding
2023. Theory of Cryptography. 21th International Conference, TCC 2023. Proceedings, Part 1. Ed.: G. Rothblum, Springer-Verlag
Fiat-Shamir Transformation of Multi-round Interactive Proofs
2022. Theory of Cryptography – 20th International Conference, TCC 2022, Chicago, IL, USA, November 7–10, 2022, Proceedings, Part I. Ed.: E. Kiltz, 113–142, Springer Nature Switzerland. doi:10.1007/978-3-031-22318-1_5
Sharp: Short Relaxed Range Proofs
2022. CCS ’22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Ed.: H. Yin Conference: CCS ’22: 2022 ACM SIGSAC Conference on Computer and Communications Security Los Angeles CA USA November 7 - 11, 2022, 609–622, Association for Computing Machinery (ACM). doi:10.1145/3548606.3560628
Black-Box Accumulation Based on Lattices
2021. Cryptography and Coding : 18th IMA International Conference, IMACC 2021, Virtual Event, December 14–15, 2021, Proceedings. Ed.: M. B. Paterson, 220–246, Springer. doi:10.1007/978-3-030-92641-0_11
On Expected Polynomial Runtime in Cryptography
2021. Theory of Cryptography : 19th International Conference, TCC 2021, Raleigh, NC, USA, November 8–11, 2021, Proceedings, Part I. Ed.: K. Nissim, 558–590, Springer International Publishing. doi:10.1007/978-3-030-90459-3_19
Efficient Range Proofs with Transparent Setup from Bounded Integer Commitments
2021. Advances in Cryptology – EUROCRYPT 2021. Ed.: A. Canteaut, 247–277, Springer International Publishing. doi:10.1007/978-3-030-77883-5_9
Black-Box Wallets: Fast Anonymous Two-Way Payments for Constrained Devices
2020. Proceedings on privacy enhancing technologies, 2020 (1), 165–194. doi:10.2478/popets-2020-0010
(R)CCA Secure Updatable Encryption with Integrity Protection
2019. Advances in Cryptology – EUROCRYPT 2019 – 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part I. Ed.: Y. Ishai, 68–99, Springer International Publishing. doi:10.1007/978-3-030-17653-2_3
Efficient Zero-Knowledge Arguments in the Discrete Log Setting, Revisited
2019. Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2093–2110, Association for Computing Machinery (ACM). doi:10.1145/3319535.3354251
New Techniques for Structural Batch Verification in Bilinear Groups with Applications to Groth-Sahai Proofs
2017. 24th ACM Conference on Computer and Communications Security (ACM CCS 2017), Dallas, TX, October 30 - November 3, 2017, 1547–1564, Association for Computing Machinery (ACM). doi:10.1145/3133956.3134068
Titel | Typ | Semester | Dozent |
---|---|---|---|
Theoretische Grundlagen der Kryptographie | Vorlesung (V) | WS 22/23 | Prof. Dr. Jörn Müller-Quade |
Seminar Post-Quantum Cryptography | Seminar (S) | WS 21/22 | Marcel Tiepelt |
Theoretische Grundlagen der Kryptographie | Vorlesung (V) | WS 21/22 | Prof. Dr. Jörn Müller-Quade |
Theoretischen Grundlagen der Kryptographie | Vorlesung (V) | WS 20/21 | |
Obfustopia | Seminar (S) | WS 19/20 | Julia Kastner |
Non-Interactive Zero-Knowledge Proof Systems | Seminar (S) | WS 18/19 | Prof. Dr. Dennis Hofheinz Prof. Dr. Jörn Müller-Quade Michael Klooß Thomas Agrikola Bogdan Ursu |
Public-Coin Zero-Knowledge Proof Systems | Seminar (S) | WS 18/19 | Prof. Dr. Dennis Hofheinz Prof. Dr. Jörn Müller-Quade Valerie Fetzer Dr.-Ing. Andy Rupp Geoffroy Couteau |
Quantum Complexity Theory | Seminar (S) | WS 18/19 | Prof. Dr. Dennis Hofheinz Dr. Jessica Koch Akin Ünal Michael Klooß Bogdan Ursu Sven Maier Dr. Alexander Koch |
Quantum Cryptography | Seminar (S) | WS 18/19 | Prof. Dr. Dennis Hofheinz Prof. Dr. Jörn Müller-Quade Bogdan Ursu Sven Maier Jeremias Mechler Dr. Alexander Koch |
Crypto for Real-World Applications | Seminar (S) | WS 17/18 | Prof. Dr. Jörn Müller-Quade Valerie Fetzer Stefanie Fuchs Carmen Manietta Dr.-Ing. Andy Rupp Thomas Agrikola Jeremias Mechler |
Functional Encryption | Seminar (S) | WS 17/18 | Prof. Dr. Dennis Hofheinz Michael Klooß Dr. Jiaxin Pan Lisa Maria Kohl |
Seminar Quantum Information Theory | Seminar | SS 2021 | Prof. Dr. Thorsten Strufe |
Seminar Quantum Information Theory | Seminar (S) | SS 2020 | Prof. Dr. Jörn Müller-Quade |
Advanced Topics in Lattice-based Cryptography | Seminar (S) | SS 2019 | Prof. Dr. Dennis Hofheinz Akin Ünal Michael Klooß Bogdan Ursu Geoffroy Couteau Lisa Maria Kohl |
Foundations of Lattice-based Cryptography | Seminar (S) | SS 2019 | Prof. Dr. Dennis Hofheinz Prof. Dr. Jörn Müller-Quade Akin Ünal Michael Klooß Bogdan Ursu Geoffroy Couteau Lisa Maria Kohl |
Ausgewählte Kapitel der Kryptographie | Vorlesung (V) | SS 2019 | Prof. Dr. Jörn Müller-Quade Michael Klooß Jeremias Mechler |
Payment Sytems and Cryptocurrencies | Seminar (S) | SS 2018 | Prof. Dr. Dennis Hofheinz Valerie Fetzer Michael Klooß Dr.-Ing. Andy Rupp Thomas Agrikola |
Public-Key Cryptography with Tight Security | Seminar (S) | SS 2018 | Prof. Dr. Dennis Hofheinz Michael Klooß Dr. Jiaxin Pan Bogdan Ursu Dr. Alexander Koch |