Michael Klooß

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 27

Top Topics

Theorem Proving

Knowledge Extraction

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Michael Klooß, Andy Rupp, Daniel Schadt, Thorsten Strufe, Christiane Weis
EROR: Efficient Repliable Onion Routing with Strong Provable Privacy. IACR Cryptol. ePrint Arch. 2024 (2024)
Carsten Baum, Lennart Braun, Cyprien Delpech de Saint Guilhem, Michael Klooß, Emmanuela Orsini, Lawrence Roy, Peter Scholl
Publicly Verifiable Zero-Knowledge and Post-Quantum Signatures From VOLE-in-the-Head. IACR Cryptol. ePrint Arch. 2023 (2023)
Thomas Attema, Serge Fehr, Michael Klooß
Fiat-Shamir Transformation of Multi-Round Interactive Proofs (Extended Version). J. Cryptol. 36 (4) (2023)
Valerie Fetzer, Michael Klooß, Jörn Müller-Quade, Markus Raiber, Andy Rupp
Universally Composable Auditable Surveillance. IACR Cryptol. ePrint Arch. 2023 (2023)
Robin Berger, Brandon Broadnax, Michael Klooß, Jeremias Mechler, Jörn Müller-Quade, Astrid Ottenhues, Markus Raiber
Composable Long-Term Security with Rewinding. IACR Cryptol. ePrint Arch. 2023 (2023)
Robin Berger, Brandon Broadnax, Michael Klooß, Jeremias Mechler, Jörn Müller-Quade, Astrid Ottenhues, Markus Raiber
Composable Long-Term Security with Rewinding. TCC (4) (2023)
Thomas Attema, Serge Fehr, Michael Klooß, Nicolas Resch
-Special-Sound Interactive Proofs. IACR Cryptol. ePrint Arch. 2023 (2023)
Valerie Fetzer, Michael Klooß, Jörn Müller-Quade, Markus Raiber, Andy Rupp
Universally Composable Auditable Surveillance. ASIACRYPT (2) (2023)
Carsten Baum, Lennart Braun, Cyprien Delpech de Saint Guilhem, Michael Klooß, Emmanuela Orsini, Lawrence Roy, Peter Scholl
Publicly Verifiable Zero-Knowledge and Post-Quantum Signatures from VOLE-in-the-Head. CRYPTO (5) (2022)
Thomas Attema, Serge Fehr, Michael Klooß
Fiat-Shamir Transformation of Multi-round Interactive Proofs. TCC (1) (2022)
Geoffroy Couteau, Dahmun Goudarzi, Michael Klooß, Michael Reichle
Sharp: Short Relaxed Range Proofs. CCS (2022)
Geoffroy Couteau, Dahmun Goudarzi, Michael Klooß, Michael Reichle
Sharp: Short Relaxed Range Proofs. IACR Cryptol. ePrint Arch. 2022 (2022)
Thomas Attema, Serge Fehr, Michael Klooß
Fiat-Shamir Transformation of Multi-Round Interactive Proofs. IACR Cryptol. ePrint Arch. 2021 (2021)
Sebastian H. Faller, Pascal Baumer, Michael Klooß, Alexander Koch, Astrid Ottenhues, Markus Raiber
Black-Box Accumulation Based on Lattices. IMACC (2021)
Sebastian H. Faller, Pascal Baumer, Michael Klooß, Alexander Koch, Astrid Ottenhues, Markus Raiber
Black-Box Accumulation Based on Lattices. IACR Cryptol. ePrint Arch. 2021 (2021)
Michael Klooß
On Expected Polynomial Runtime in Cryptography. TCC (1) (2021)
Geoffroy Couteau, Michael Klooß, Huang Lin, Michael Reichle
Efficient Range Proofs with Transparent Setup from Bounded Integer Commitments. EUROCRYPT (3) (2021)
Geoffroy Couteau, Michael Klooß, Huang Lin, Michael Reichle
Efficient Range Proofs with Transparent Setup from Bounded Integer Commitments. IACR Cryptol. ePrint Arch. 2021 (2021)
Michael Klooß
On (expected polynomial) runtime in cryptography. IACR Cryptol. ePrint Arch. 2020 (2020)
Max Hoffmann, Michael Klooß, Markus Raiber, Andy Rupp
Black-Box Wallets: Fast Anonymous Two-Way Payments for Constrained Devices. Proc. Priv. Enhancing Technol. 2020 (1) (2020)
Max Hoffmann, Michael Klooß, Andy Rupp
Efficient zero-knowledge arguments in the discrete log setting, revisited. IACR Cryptol. ePrint Arch. 2019 (2019)
Michael Klooß, Anja Lehmann, Andy Rupp
(R)CCA Secure Updatable Encryption with Integrity Protection. IACR Cryptol. ePrint Arch. 2019 (2019)
Max Hoffmann, Michael Klooß, Andy Rupp
Efficient Zero-Knowledge Arguments in the Discrete Log Setting, Revisited. CCS (2019)
Max Hoffmann, Michael Klooß, Markus Raiber, Andy Rupp
Black-Box Wallets: Fast Anonymous Two-Way Payments for Constrained Devices. IACR Cryptol. ePrint Arch. 2019 (2019)
Michael Klooß, Anja Lehmann, Andy Rupp
(R)CCA Secure Updatable Encryption with Integrity Protection. EUROCRYPT (1) (2019)
Gottfried Herold, Max Hoffmann, Michael Klooß, Carla Ràfols, Andy Rupp
New Techniques for Structural Batch Verification in Bilinear Groups with Applications to Groth-Sahai Proofs. IACR Cryptol. ePrint Arch. 2017 (2017)
Gottfried Herold, Max Hoffmann, Michael Klooß, Carla Ràfols, Andy Rupp
New Techniques for Structural Batch Verification in Bilinear Groups with Applications to Groth-Sahai Proofs. CCS (2017)