Dr. Michael Klooß, M.Sc.

  • Am Fasanengarten 5
    76131 Karlsruhe

Forschungsinteressen

Most of my research is connected to efficient and provably secure building blocks for privacy-enhancing technologies with post-quantum security, in particular related to zero-knowledge proofs of knowledge, blind signatures and anonymous credentials. This includes concrete construction, techniques for a precise security analysis, and definitional questions of formalizing security, including impossibility results. My current focus is on the post-quantum setting using lattice-based cryptography.

Publikationen


Publicly Verifiable Zero-Knowledge and Post-Quantum Signatures from VOLE-in-the-Head
Baum, C.; Braun, L.; Saint Guilhem, C. D. De; Klooß, M.; Orsini, E.; Roy, L.; Scholl, P.
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
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. Dissertation
Klooß, M.
2023, Februar 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
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
Lehre