Konrad Kohbrok

According to our database, Konrad Kohbrok authored at least 8 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Security Analysis of the MLS Key Derivation.

Chris Brzuska, Eric Cornelissen, Konrad Kohbrok

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

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

François Dupressoir, Konrad Kohbrok, Sabine Oechsner

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

Key-Schedule Security for the TLS 1.3 Standard.

Chris Brzuska, Antoine Delignat-Lavaud, Christoph Egger, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss

Proceedings of the Advances in Cryptology - ASIACRYPT 2022, 2022

2021

Cryptographic Security of the MLS RFC, Draft 11.

Chris Brzuska, Eric Cornelissen, Konrad Kohbrok

IACR Cryptol. ePrint Arch., 2021

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

Cas Cremers, Britta Hale, Konrad Kohbrok

Proceedings of the 30th USENIX Security Symposium, 2021

2019

Revisiting Post-Compromise Security Guarantees in Group Messaging.

Cas Cremers, Britta Hale, Konrad Kohbrok

IACR Cryptol. ePrint Arch., 2019

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

State Separation for Code-Based Game-Playing Proofs.

Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss

Proceedings of the Advances in Cryptology - ASIACRYPT 2018, 2018