Konrad Kohbrok

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 10

Top Topics

Statistical Databases

Multilevel Security

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

Publications

Chris Brzuska, Antoine Delignat-Lavaud, Christoph Egger, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss
Key-Schedule Security for the TLS 1.3 Standard. ASIACRYPT (1) (2022)
François Dupressoir, Konrad Kohbrok, Sabine Oechsner
Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox. CSF (2022)
Chris Brzuska, Eric Cornelissen, Konrad Kohbrok
Security Analysis of the MLS Key Derivation. IEEE Symposium on Security and Privacy (2022)
Chris Brzuska, Antoine Delignat-Lavaud, Christoph Egger, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss
Key-schedule Security for the TLS 1.3 Standard. IACR Cryptol. ePrint Arch. 2021 (2021)
Cas Cremers, Britta Hale, Konrad Kohbrok
The Complexities of Healing in Secure Group Messaging: Why Cross-Group Effects Matter. USENIX Security Symposium (2021)
François Dupressoir, Konrad Kohbrok, Sabine Oechsner
Bringing State-Separating Proofs to EasyCrypt - A Security Proof for Cryptobox. IACR Cryptol. ePrint Arch. 2021 (2021)
Chris Brzuska, Eric Cornelissen, Konrad Kohbrok
Cryptographic Security of the MLS RFC, Draft 11. IACR Cryptol. ePrint Arch. 2021 (2021)
Cas Cremers, Britta Hale, Konrad Kohbrok
Revisiting Post-Compromise Security Guarantees in Group Messaging. IACR Cryptol. ePrint Arch. 2019 (2019)
Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss
State Separation for Code-Based Game-Playing Proofs. ASIACRYPT (3) (2018)
Chris Brzuska, Antoine Delignat-Lavaud, Konrad Kohbrok, Markulf Kohlweiss
State-Separating Proofs: A Reduction Methodology for Real-World Protocols. IACR Cryptol. ePrint Arch. 2018 (2018)