Dr. Michael Klooß

  • Post-Doc
  • Group: Aalto University

Research Interests

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

Publications


Composable Long-Term Security with Rewinding
Berger, R.; Broadnax, B.; Klooß, M.; Mechler, J.; Müller-Quade, J.; Ottenhues, A.; Raiber, M.
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
Fetzer, V.; Klooß, M.; Müller-Quade, J.; Raiber, M.; Rupp, A.
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
Berger, R. M.; Broadnax, B.; Klooß, M.; Mechler, J.; Müller-Quade, J.; Ottenhues, A.; Raiber, M.
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 (Extended Version)
Attema, T.; Fehr, S.; Klooß, M.
2023. Journal of Cryptology, 36 (4), Art.-Nr.: 36. doi:10.1007/s00145-023-09478-y
On Efficient Zero-Knowledge Arguments. PhD dissertation
Klooß, M.
2023, February 20. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000156118
Fiat-Shamir Transformation of Multi-round Interactive Proofs
Attema, T.; Fehr, S.; Klooß, M.
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
Couteau, G.; Goudarzi, D.; Klooß, M.; Reichle, M.
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
Faller, S. H.; Baumer, P.; Klooß, M.; Koch, A.; Ottenhues, A.; Raiber, M.
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
Klooß, M.
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
Couteau, G.; Klooß, M.; Lin, H.; Reichle, M.
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
Hoffmann, M.; Klooß, M.; Raiber, M.; Rupp, A.
2020. Proceedings on privacy enhancing technologies, 2020 (1), 165–194. doi:10.2478/popets-2020-0010
Efficient Zero-Knowledge Arguments in the Discrete Log Setting, Revisited
Hoffmann, M.; Klooß, M.; Rupp, A.
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
(R)CCA Secure Updatable Encryption with Integrity Protection
Klooß, M.; Lehmann, A.; Rupp, A.
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
New Techniques for Structural Batch Verification in Bilinear Groups with Applications to Groth-Sahai Proofs
Herold, G.; Hoffmann, M.; Klooß, M.; Ràfols, C.; Rupp, A.
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
Teaching
Title Type Semester Lecturer
Lecture (V) WS 21/22
Lecture (V) WS 22/23
Seminar (S) SS 2019 Prof. Dr. Dennis Hofheinz
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
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. Dennis Hofheinz
Michael Klooß
Dr. Jiaxin Pan
Lisa Maria Kohl
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 19/20 Julia Kastner
Prof. Dr. Dennis Hofheinz
Akin Ünal
Michael Klooß
Bogdan Ursu
Seminar (S) SS 2018 Prof. Dr. Dennis Hofheinz
Valerie Fetzer
Michael Klooß
Dr.-Ing. Andy Rupp
Thomas Agrikola
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
Michael Klooß
Dr. Jiaxin Pan
Bogdan Ursu
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) 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 21/22
Seminar (S) SS 2020
Vorlesung (V) SS 2019 Prof. Dr. Jörn Müller-Quade
Michael Klooß
Jeremias Mechler
Vorlesung (V) WS 20/21
seminar SS 2021