Dr. Michael Klooß

  • Post-Doc
  • Gruppe: Aalto University

Forschungsinteressen

• "Efficient" provably secure cryptography and lightweight protocols
• (Zero-knowledge) proof systems
• Security models and an abstract/algebraic view on cryptography

Publikationsliste


Klooß, M.
On Efficient Zero-Knowledge Arguments. Dissertation
2023, Februar 20. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000156118
Attema, T.; Fehr, S.; Klooß, M.
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
Berger, R.; Broadnax, B.; Klooß, M.; Mechler, J.; Müller-Quade, J.; Ottenhues, A.; Raiber, M.
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
Fetzer, V.; Klooß, M.; Müller-Quade, J.; Raiber, M.; Rupp, A.
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
Berger, R. M.; Broadnax, B.; Klooß, M.; Mechler, J.; Müller-Quade, J.; Ottenhues, A.; Raiber, M.
Composable Long-Term Security with Rewinding
2023. Theory of Cryptography. 21th International Conference, TCC 2023. Proceedings, Part 1. Ed.: G. Rothblum, Springer Verlag
Attema, T.; Fehr, S.; Klooß, M.
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
Couteau, G.; Goudarzi, D.; Klooß, M.; Reichle, M.
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
Faller, S. H.; Baumer, P.; Klooß, M.; Koch, A.; Ottenhues, A.; Raiber, M.
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
Klooß, M.
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
Couteau, G.; Klooß, M.; Lin, H.; Reichle, M.
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
Hoffmann, M.; Klooß, M.; Raiber, M.; Rupp, A.
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
Klooß, M.; Lehmann, A.; Rupp, A.
(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
Hoffmann, M.; Klooß, M.; Rupp, A.
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
Herold, G.; Hoffmann, M.; Klooß, M.; Ràfols, C.; Rupp, A.
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
Lehre
Titel Typ Semester Dozent
Vorlesung (V) WS 20/21
Vorlesung (V) WS 21/22
Vorlesung (V) WS 22/23
Seminar SS 2021
Seminar (S) SS 2020
Seminar (S) WS 21/22
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
Seminar (S) WS 18/19 Prof. Dr. Dennis Hofheinz
Dr. Jessica Koch
Akin Ünal
Michael Klooß
Bogdan Ursu
Sven Maier
Dr. Alexander Koch
Seminar (S) SS 2018 Prof. Dr. Dennis Hofheinz
Michael Klooß
Dr. Jiaxin Pan
Bogdan Ursu
Dr. Alexander Koch
Seminar (S) WS 18/19 Prof. Dr. Dennis Hofheinz
Prof. Dr. Jörn Müller-Quade
Valerie Fetzer
Dr.-Ing. Andy Rupp
Geoffroy Couteau
Seminar (S) SS 2018 Prof. Dr. Dennis Hofheinz
Valerie Fetzer
Michael Klooß
Dr.-Ing. Andy Rupp
Thomas Agrikola
Seminar (S) WS 19/20

Julia Kastner
Prof. Dr. Dennis Hofheinz
Akin Ünal
Michael Klooß
Bogdan Ursu

Seminar (S) WS 18/19 Prof. Dr. Dennis Hofheinz
Prof. Dr. Jörn Müller-Quade
Michael Klooß
Thomas Agrikola
Bogdan Ursu
Seminar (S) WS 17/18 Prof. Dr. Dennis Hofheinz
Michael Klooß
Dr. Jiaxin Pan
Lisa Maria Kohl
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
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
Vorlesung (V) SS 2019 Prof. Dr. Jörn Müller-Quade
Michael Klooß
Jeremias Mechler
Seminar (S) SS 2019 Prof. Dr. Dennis Hofheinz
Akin Ünal
Michael Klooß
Bogdan Ursu
Geoffroy Couteau
Lisa Maria Kohl