Key management in distributed online social networks. - Felix Günther 001; Mark Manulis; Thorsten Strufe (WOWMOM, 2011)

Pseudorandom Signatures. - Nils Fleischhacker; Felix Günther 001; Franziskus Kiefer; Mark Manulis; Bertram Poettering (IACR Cryptol. ePrint Arch., 2011)

Cryptographic Treatment of Private User Profiles. - Felix Günther 001; Mark Manulis; Thorsten Strufe (IACR Cryptol. ePrint Arch., 2011)

Multi-Stage Key Exchange and the Case of Google's QUIC Protocol. - Marc Fischlin; Felix Günther 001 (CCS, 2014)

Unpicking PLAID - A Cryptographic Analysis of an ISO-standards-track Authentication Protocol. - Jean Paul Degabriele; Victoria Fehr; Marc Fischlin; Tommaso Gagliardoni; Felix Günther 001; Giorgia Azzurra Marson; Arno Mittelbach; Kenneth G. Paterson (IACR Cryptol. ePrint Arch., 2014)

Privacy-Enhanced Participatory Sensing with Collusion-Resistance and Data Aggregation. - Felix Günther 001; Mark Manulis; Andreas Peter 001 (IACR Cryptol. ePrint Arch., 2014)

Linkable Message Tagging: Solving the key distribution problem of signature schemes. - Felix Günther 001; Bertram Poettering (IACR Cryptol. ePrint Arch., 2014)

A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates. - Benjamin Dowling; Marc Fischlin; Felix Günther 001; Douglas Stebila (IACR Cryptol. ePrint Arch., 2015)

Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3. - Marc Fischlin; Felix Günther 001; Benedikt Schmidt; Bogdan Warinschi (IEEE Symposium on Security and Privacy, 2016)

A Cryptographic Analysis of the TLS 1.3 draft-10 Full and Pre-shared Key Handshake Protocol. - Benjamin Dowling; Marc Fischlin; Felix Günther 001; Douglas Stebila (IACR Cryptol. ePrint Arch., 2016)

Secure Logging Schemes and Certificate Transparency. - Benjamin Dowling; Felix Günther 001; Udyani Herath; Douglas Stebila (IACR Cryptol. ePrint Arch., 2016)

CogniCrypt: supporting developers in using cryptography. - Stefan Krüger; Sarah Nadi; Michael Reif; Karim Ali 001; Mira Mezini; Eric Bodden; Florian Göpfert; Felix Günther 001; Christian Weinert; Daniel Demmler; Ram Kamath (ASE, 2017)

The Status of Quantum-Based Long-Term Secure Communication over the Internet. - Matthias Geihs; Oleg Nikiforov; Denise Demirel; Alexander Sauer; Denis Butin; Felix Günther 001; Gernot Alber; Thomas Walther; Johannes Buchmann 001 (CoRR, 2017)

PRF-ODH: Relations, Instantiations, and Impossibility Results. - Jacqueline Brendel; Marc Fischlin; Felix Günther 001; Christian Janson (IACR Cryptol. ePrint Arch., 2017)

Breakdown Resilience of Key Exchange Protocols and the Cases of NewHope and TLS 1.3. - Jacqueline Brendel; Marc Fischlin; Felix Günther 001 (IACR Cryptol. ePrint Arch., 2017)

Replay Attacks on Zero Round-Trip Time: The Case of the TLS 1.3 Handshake Candidates. - Marc Fischlin; Felix Günther 001 (IACR Cryptol. ePrint Arch., 2017)

Data Is a Stream: Security of Stream-Based Channels. - Marc Fischlin; Felix Günther 001; Giorgia Azzurra Marson; Kenneth G. Paterson (IACR Cryptol. ePrint Arch., 2017)

0-RTT Key Exchange with Full Forward Secrecy. - Felix Günther 001; Britta Hale; Tibor Jager; Sebastian Lauer (IACR Cryptol. ePrint Arch., 2017)

A Formal Treatment of Multi-key Channels. - Felix Günther 001; Sogol Mazaheri (IACR Cryptol. ePrint Arch., 2017)

Modeling Advanced Security Aspects of Key Exchange and Secure Channel Protocols. - Felix Günther 001 (2018)

Breakdown Resilience of Key Exchange Protocols: NewHope, TLS 1.3, and Hybrids. - Jacqueline Brendel; Marc Fischlin; Felix Günther 001 (ESORICS (2), 2019)

Challenges in Proving Post-Quantum Key Exchanges Based on Key Encapsulation Mechanisms. - Jacqueline Brendel; Marc Fischlin; Felix Günther 001; Christian Janson; Douglas Stebila (IACR Cryptol. ePrint Arch., 2019)

Modeling Memory Faults in Signature and Encryption Schemes. - Marc Fischlin; Felix Günther 001 (IACR Cryptol. ePrint Arch., 2019)

Modeling Memory Faults in Signature and Authenticated Encryption Schemes. - Marc Fischlin; Felix Günther 001 (CT-RSA, 2020)

Towards Post-Quantum Security for Signal's X3DH Handshake. - Jacqueline Brendel; Marc Fischlin; Felix Günther 001; Christian Janson; Douglas Stebila (SAC, 2020)

Separate Your Domains: NIST PQC KEMs, Oracle Cloning and Read-Only Indifferentiability. - Mihir Bellare; Hannah Davis; Felix Günther 001 (IACR Cryptol. ePrint Arch., 2020)

Tighter Proofs for the SIGMA and TLS 1.3 Key Exchange Protocols. - Hannah Davis; Felix Günther 001 (IACR Cryptol. ePrint Arch., 2020)

Information-Theoretic Security of Cryptographic Channels. - Marc Fischlin; Felix Günther 001; Philipp Muth (IACR Cryptol. ePrint Arch., 2020)

Modeling advanced security aspects of key exchange and secure channel protocols. - Felix Günther 001 (it Inf. Technol., 2020)

Post-quantum Asynchronous Deniable Key Exchange and the Signal Handshake. - Jacqueline Brendel; Rune Fiedler; Felix Günther 001; Christian Janson; Douglas Stebila (IACR Cryptol. ePrint Arch., 2021)

KEMTLS with Delayed Forward Identity Protection in (Almost) a Single Round Trip. - Felix Günther 001; Patrick Towa (IACR Cryptol. ePrint Arch., 2021)

A Cryptographic Analysis of the TLS 1.3 Handshake Protocol. - Benjamin Dowling; Marc Fischlin; Felix Günther 001; Douglas Stebila (J. Cryptol., 2021)

The Status of Quantum-Key-Distribution-Based Long-Term Secure Internet Communication. - Matthias Geihs; Oleg Nikiforov; Denise Demirel; Alexander Sauer; Denis Butin; Felix Günther 001; Gernot Alber; Thomas Walther; Johannes Buchmann 001 (IEEE Trans. Sustain. Comput., 2021)

KEMTLS with Delayed Forward Identity Protection in (Almost) a Single Round Trip. - Felix Günther 001; Simon Rastikian; Patrick Towa; Thom Wiggers (ACNS, 2022)

Puncturable Key Wrapping and Its Applications. - Matilda Backendal; Felix Günther 001; Kenneth G. Paterson (IACR Cryptol. ePrint Arch., 2022)

On the Concrete Security of TLS 1.3 PSK Mode. - Hannah Davis; Denis Diemert; Felix Günther 001; Tibor Jager (IACR Cryptol. ePrint Arch., 2022)

Continuous Authentication in Secure Messaging. - Benjamin Dowling; Felix Günther 001; Alexandre Poirrier (IACR Cryptol. ePrint Arch., 2022)

Careful with MAc-then-SIGn: A Computational Analysis of the EDHOC Lightweight Authenticated Key Exchange Protocol. - Felix Günther 001; Marc Ilunga Tshibumbu Mukendi (IACR Cryptol. ePrint Arch., 2022)

When Messages are Keys: Is HMAC a dual-PRF? - Matilda Backendal; Mihir Bellare; Felix Günther 001; Matteo Scarlata (IACR Cryptol. ePrint Arch., 2023)

The Security of ChaCha20-Poly1305 in the Multi-user Setting. - Jean Paul Degabriele; Jérôme Govinden; Felix Günther 001; Kenneth G. Paterson (IACR Cryptol. ePrint Arch., 2023)

Verifiable Verification in Cryptographic Protocols. - Marc Fischlin; Felix Günther 001 (IACR Cryptol. ePrint Arch., 2023)

A Formal Treatment of End-to-End Encrypted Cloud Storage. - Matilda Backendal; Hannah Davis; Felix Günther 001; Miro Haller; Kenneth G. Paterson (IACR Cryptol. ePrint Arch., 2024)

Security Analysis of Signal's PQXDH Handshake. - Rune Fiedler; Felix Günther 001 (IACR Cryptol. ePrint Arch., 2024)

Obfuscated Key Exchange. - Felix Günther 001; Douglas Stebila; Shannon Veitch (IACR Cryptol. ePrint Arch., 2024)

Robust Channels: Handling Unreliable Networks in the Record Layers of QUIC and DTLS 1.3. - Marc Fischlin; Felix Günther 001; Christian Janson (J. Cryptol., 2024)

Security Analysis of Signal's sfPQXDH Handshake. - Rune Fiedler; Felix Günther 001 (PKC (2), 2025)

Key Derivation Functions Without a Grain of Salt. - Matilda Backendal; Sebastian Clermont; Marc Fischlin; Felix Günther 001 (IACR Cryptol. ePrint Arch., 2025)

XHMQV: Better Efficiency and Stronger Security for Signal's Initial Handshake based on HMQV. - Rune Fiedler; Felix Günther 001; Jiaxin Pan 001; Runzhi Zeng (IACR Cryptol. ePrint Arch., 2025)

Verifiable Decapsulation: Recognizing Faulty Implementations of Post-Quantum KEMs. - Lewis Glabush; Felix Günther 001; Kathrin Hövelmanns; Douglas Stebila (IACR Cryptol. ePrint Arch., 2025)

Hybrid Obfuscated Key Exchange and KEMs. - Felix Günther 001; Michael Rosenberg; Douglas Stebila; Shannon Veitch (IACR Cryptol. ePrint Arch., 2025)

Breaking and Fixing Content-Defined Chunking. - Kien Tuong Truong; Simon-Philipp Merz; Matteo Scarlata; Felix Günther 001; Kenneth G. Paterson (IACR Cryptol. ePrint Arch., 2025)