| 2024 | CRYPTO | Bare PAKE: Universally Composable Key Exchange from Just Passwords. | Manuel Barbosa, Kai Gellert, Julia Hesse, Stanislaw Jarecki |
| 2023 | CRYPTO | Security Analysis of the WhatsApp End-to-End Encrypted Backup Protocol. | Gareth T. Davies, Sebastian H. Faller, Kai Gellert, Tobias Handirk, Julia Hesse, Mt Horvth, Tibor Jager |
| 2023 | CRYPTO | On Optimal Tightness for Key Exchange with Full Forward Secrecy via Key Confirmation. | Kai Gellert, Kristian Gjsteen, Hkon Jacobsen, Tibor Jager |
| 2021 | ASIACRYPT | Symmetric Key Exchange with Full Forward Security and Robust Synchronization. | Colin Boyd, Gareth T. Davies, Bor de Kock, Kai Gellert, Tibor Jager, Lise Millerjord |
| 2021 | ASIACRYPT | Digital Signatures with Memory-Tight Security in the Multi-challenge Setting. | Denis Diemert, Kai Gellert, Tibor Jager, Lin Lyu |
| 2021 | ESORICS | A Formal Security Analysis of Session Resumption Across Hostnames. | Kai Gellert, Tobias Handirk |
| 2021 | PKC | More Efficient Digital Signatures with Tight Multi-user Security. | Denis Diemert, Kai Gellert, Tibor Jager, Lin Lyu |
| 2020 | CANS | Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC. | Fynn Dallmeier, Jan Peter Drees, Kai Gellert, Tobias Handirk, Tibor Jager, Jonas Klauke, Simon Nachtigall, Timo Renzelmann, Rudi Wolf |
| 2019 | EuroCrypt | Session Resumption Protocols and Efficient Forward Security for TLS 1.3 0-RTT. | Nimrod Aviram, Kai Gellert, Tibor Jager |