Felix Günther

According to our database, Felix Günther authored at least 45 papers between 2011 and 2024.

Collaborative distances:

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

2024

Robust Channels: Handling Unreliable Networks in the Record Layers of QUIC and DTLS 1.3.

Marc Fischlin, Felix Günther, Christian Janson

J. Cryptol., June, 2024

Obfuscated Key Exchange.

Felix Günther, Douglas Stebila, Shannon Veitch

IACR Cryptol. ePrint Arch., 2024

Security Analysis of Signal's PQXDH Handshake.

Rune Fiedler, Felix Günther

IACR Cryptol. ePrint Arch., 2024

A Formal Treatment of End-to-End Encrypted Cloud Storage.

Matilda Backendal, Hannah Davis, Felix Günther, Miro Haller, Kenneth G. Paterson

IACR Cryptol. ePrint Arch., 2024

2023

Verifiable Verification in Cryptographic Protocols.

Marc Fischlin, Felix Günther

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, Kenneth G. Paterson

IACR Cryptol. ePrint Arch., 2023

When Messages are Keys: Is HMAC a dual-PRF?

Matilda Backendal, Mihir Bellare, Felix Günther, Matteo Scarlata

IACR Cryptol. ePrint Arch., 2023

2022

Careful with MAc-then-SIGn: A Computational Analysis of the EDHOC Lightweight Authenticated Key Exchange Protocol.

Felix Günther, Marc Ilunga Tshibumbu Mukendi

IACR Cryptol. ePrint Arch., 2022

Continuous Authentication in Secure Messaging.

Benjamin Dowling, Felix Günther, Alexandre Poirrier

IACR Cryptol. ePrint Arch., 2022

On the Concrete Security of TLS 1.3 PSK Mode.

Hannah Davis, Denis Diemert, Felix Günther, Tibor Jager

IACR Cryptol. ePrint Arch., 2022

Puncturable Key Wrapping and Its Applications.

Matilda Backendal, Felix Günther, Kenneth G. Paterson

IACR Cryptol. ePrint Arch., 2022

KEMTLS with Delayed Forward Identity Protection in (Almost) a Single Round Trip.

Felix Günther, Simon Rastikian, Patrick Towa, Thom Wiggers

Proceedings of the Applied Cryptography and Network Security, 2022

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, Gernot Alber, Thomas Walther, Johannes Buchmann

IEEE Trans. Sustain. Comput., 2021

A Cryptographic Analysis of the TLS 1.3 Handshake Protocol.

Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila

J. Cryptol., 2021

KEMTLS with Delayed Forward Identity Protection in (Almost) a Single Round Trip.

Felix Günther, Patrick Towa

IACR Cryptol. ePrint Arch., 2021

Post-quantum Asynchronous Deniable Key Exchange and the Signal Handshake.

Jacqueline Brendel, Rune Fiedler, Felix Günther, Christian Janson, Douglas Stebila

IACR Cryptol. ePrint Arch., 2021

2020

Modeling advanced security aspects of key exchange and secure channel protocols.

Felix Günther

it Inf. Technol., 2020

Information-Theoretic Security of Cryptographic Channels.

Marc Fischlin, Felix Günther, Philipp Muth

IACR Cryptol. ePrint Arch., 2020

Tighter Proofs for the SIGMA and TLS 1.3 Key Exchange Protocols.

Hannah Davis, Felix Günther

IACR Cryptol. ePrint Arch., 2020

Separate Your Domains: NIST PQC KEMs, Oracle Cloning and Read-Only Indifferentiability.

Mihir Bellare, Hannah Davis, Felix Günther

IACR Cryptol. ePrint Arch., 2020

Towards Post-Quantum Security for Signal's X3DH Handshake.

Jacqueline Brendel, Marc Fischlin, Felix Günther, Christian Janson, Douglas Stebila

Proceedings of the Selected Areas in Cryptography - SAC 2020, 2020

Modeling Memory Faults in Signature and Authenticated Encryption Schemes.

Marc Fischlin, Felix Günther

Proceedings of the Topics in Cryptology - CT-RSA 2020, 2020

2019

Modeling Memory Faults in Signature and Encryption Schemes.

Marc Fischlin, Felix Günther

IACR Cryptol. ePrint Arch., 2019

Challenges in Proving Post-Quantum Key Exchanges Based on Key Encapsulation Mechanisms.

Jacqueline Brendel, Marc Fischlin, Felix Günther, Christian Janson, Douglas Stebila

IACR Cryptol. ePrint Arch., 2019

Breakdown Resilience of Key Exchange Protocols: NewHope, TLS 1.3, and Hybrids.

Jacqueline Brendel, Marc Fischlin, Felix Günther

Proceedings of the Computer Security - ESORICS 2019, 2019

2018

Modeling Advanced Security Aspects of Key Exchange and Secure Channel Protocols.

Felix Günther

PhD thesis, 2018

2017

A Formal Treatment of Multi-key Channels.

Felix Günther, Sogol Mazaheri

IACR Cryptol. ePrint Arch., 2017

0-RTT Key Exchange with Full Forward Secrecy.

Felix Günther, Britta Hale, Tibor Jager, Sebastian Lauer

IACR Cryptol. ePrint Arch., 2017

Data Is a Stream: Security of Stream-Based Channels.

Marc Fischlin, Felix Günther, Giorgia Azzurra Marson, Kenneth G. Paterson

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

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

IACR Cryptol. ePrint Arch., 2017

PRF-ODH: Relations, Instantiations, and Impossibility Results.

Jacqueline Brendel, Marc Fischlin, Felix Günther, Christian Janson

IACR Cryptol. ePrint Arch., 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, Gernot Alber, Thomas Walther, Johannes Buchmann

CoRR, 2017

CogniCrypt: supporting developers in using cryptography.

Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, Ram Kamath

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Secure Logging Schemes and Certificate Transparency.

Benjamin Dowling, Felix Günther, Udyani Herath, Douglas Stebila

IACR Cryptol. ePrint Arch., 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, Douglas Stebila

IACR Cryptol. ePrint Arch., 2016

Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3.

Marc Fischlin, Felix Günther, Benedikt Schmidt, Bogdan Warinschi

Proceedings of the IEEE Symposium on Security and Privacy, 2016

2015

A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates.

Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila

IACR Cryptol. ePrint Arch., 2015

2014

Linkable Message Tagging: Solving the key distribution problem of signature schemes.

Felix Günther, Bertram Poettering

IACR Cryptol. ePrint Arch., 2014

Privacy-Enhanced Participatory Sensing with Collusion-Resistance and Data Aggregation.

Felix Günther, Mark Manulis, Andreas Peter

IACR Cryptol. ePrint Arch., 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, Giorgia Azzurra Marson, Arno Mittelbach, Kenneth G. Paterson

IACR Cryptol. ePrint Arch., 2014

Multi-Stage Key Exchange and the Case of Google's QUIC Protocol.

Marc Fischlin, Felix Günther

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2011

Cryptographic Treatment of Private User Profiles.

Felix Günther, Mark Manulis, Thorsten Strufe

IACR Cryptol. ePrint Arch., 2011

Pseudorandom Signatures.

Nils Fleischhacker, Felix Günther, Franziskus Kiefer, Mark Manulis, Bertram Poettering

IACR Cryptol. ePrint Arch., 2011

Key management in distributed online social networks.

Felix Günther, Mark Manulis, Thorsten Strufe

Proceedings of the 12th IEEE International Symposium on a World of Wireless, 2011