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 22/23
Lecture (V) WS 21/22
Seminar (S) WS 21/22
seminar SS 2021
Vorlesung (V) WS 20/21
Seminar (S) SS 2020
Seminar (S) WS 19/20 Julia Kastner
Prof. Dr. Dennis Hofheinz
Akin Ünal
Michael Klooß
Bogdan Ursu
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
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 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) WS 18/19 Prof. Dr. Dennis Hofheinz
Prof. Dr. Jörn Müller-Quade
Valerie Fetzer
Dr.-Ing. Andy Rupp
Geoffroy Couteau
Seminar (S) WS 18/19 Prof. Dr. Dennis Hofheinz
Prof. Dr. Jörn Müller-Quade
Michael Klooß
Thomas Agrikola
Bogdan Ursu
Seminar (S) SS 2018 Prof. Dr. Dennis Hofheinz
Michael Klooß
Dr. Jiaxin Pan
Bogdan Ursu
Dr. Alexander Koch
Seminar (S) SS 2018 Prof. Dr. Dennis Hofheinz
Valerie Fetzer
Michael Klooß
Dr.-Ing. Andy Rupp
Thomas Agrikola
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) WS 17/18 Prof. Dr. Dennis Hofheinz
Michael Klooß
Dr. Jiaxin Pan
Lisa Maria Kohl