Konrad Kohbrok

Revisiting Post-Compromise Security Guarantees in Group Messaging

Britta Hale, Cas J. F. Cremers, Konrad Kohbrok, 2019, IACR Cryptol. ePrint Arch..

State-Separating Proofs: A Reduction Methodology for Real-World Protocols

Antoine Delignat-Lavaud, Markulf Kohlweiss, Chris Brzuska, 2018, IACR Cryptol. ePrint Arch..

State Separation for Code-Based Game-Playing Proofs

Cédric Fournet, Antoine Delignat-Lavaud, Markulf Kohlweiss, 2018, ASIACRYPT.

Cryptographic Security of the MLS RFC, Draft 11

Konrad Kohbrok, Chris Brzuska, Eric Cornelissen, 2021, IACR Cryptol. ePrint Arch..

Key-schedule Security for the TLS 1.3 Standard

Christoph Egger, Cédric Fournet, Antoine Delignat-Lavaud, 2021, IACR Cryptol. ePrint Arch..

Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox

François Dupressoir, Sabine Oechsner, Konrad Kohbrok, 2022, 2022 IEEE 35th Computer Security Foundations Symposium (CSF).

The Complexities of Healing in Secure Group Messaging: Why Cross-Group Effects Matter

Britta Hale, Cas Cremers, Konrad Kohbrok, 2021, USENIX Security Symposium.

Efficient Post-Compromise Security Beyond One Group

Britta Hale, Konrad Kohbrok, 2019 .