State Separation for Code-Based Game-Playing Proofs. - Chris Brzuska; Antoine Delignat-Lavaud; Cédric Fournet; Konrad Kohbrok; Markulf Kohlweiss (ASIACRYPT (3), 2018)

State-Separating Proofs: A Reduction Methodology for Real-World Protocols. - Chris Brzuska; Antoine Delignat-Lavaud; Konrad Kohbrok; Markulf Kohlweiss (IACR Cryptol. ePrint Arch., 2018)

Revisiting Post-Compromise Security Guarantees in Group Messaging. - Cas Cremers; Britta Hale; Konrad Kohbrok (IACR Cryptol. ePrint Arch., 2019)

The Complexities of Healing in Secure Group Messaging: Why Cross-Group Effects Matter. - Cas Cremers; Britta Hale; Konrad Kohbrok (USENIX Security Symposium, 2021)

Cryptographic Security of the MLS RFC, Draft 11. - Chris Brzuska; Eric Cornelissen; Konrad Kohbrok (IACR Cryptol. ePrint Arch., 2021)

Key-schedule Security for the TLS 1.3 Standard. - Chris Brzuska; Antoine Delignat-Lavaud; Christoph Egger 001; Cédric Fournet; Konrad Kohbrok; Markulf Kohlweiss (IACR Cryptol. ePrint Arch., 2021)

Bringing State-Separating Proofs to EasyCrypt - A Security Proof for Cryptobox. - François Dupressoir; Konrad Kohbrok; Sabine Oechsner (IACR Cryptol. ePrint Arch., 2021)

Security Analysis of the MLS Key Derivation. - Chris Brzuska; Eric Cornelissen; Konrad Kohbrok (SP, 2022)