Felix Günther

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 57

Top Venues

IACR Cryptol. ePrint Arch.

CCS

CRYPTO (3)

ESORICS (2)

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Matilda Backendal, Hannah Davis, Felix Günther, Miro Haller, Kenneth G. Paterson
A Formal Treatment of End-to-End Encrypted Cloud Storage. IACR Cryptol. ePrint Arch. 2024 (2024)
Felix Günther, Douglas Stebila, Shannon Veitch
Obfuscated Key Exchange. IACR Cryptol. ePrint Arch. 2024 (2024)
Matilda Backendal, Hannah Davis, Felix Günther, Miro Haller, Kenneth G. Paterson
A Formal Treatment of End-to-End Encrypted Cloud Storage. CRYPTO (2) (2024)
Rune Fiedler, Felix Günther
Security Analysis of Signal's PQXDH Handshake. IACR Cryptol. ePrint Arch. 2024 (2024)
Marc Fischlin, Felix Günther, Christian Janson
Robust Channels: Handling Unreliable Networks in the Record Layers of QUIC and DTLS 1.3. J. Cryptol. 37 (2) (2024)
Marc Fischlin, Felix Günther
Verifiable Verification in Cryptographic Protocols. CCS (2023)
Matilda Backendal, Mihir Bellare, Felix Günther, Matteo Scarlata
When Messages Are Keys: Is HMAC a Dual-PRF? CRYPTO (3) (2023)
Felix Günther, Marc Ilunga Tshibumbu Mukendi
Careful with MAc-then-SIGn: A Computational Analysis of the EDHOC Lightweight Authenticated Key Exchange Protocol. EuroS&P (2023)
Jean Paul Degabriele, Jérôme Govinden, Felix Günther, Kenneth G. Paterson
The Security of ChaCha20-Poly1305 in the Multi-user Setting. IACR Cryptol. ePrint Arch. 2023 (2023)
Matilda Backendal, Mihir Bellare, Felix Günther, Matteo Scarlata
When Messages are Keys: Is HMAC a dual-PRF? IACR Cryptol. ePrint Arch. 2023 (2023)
Marc Fischlin, Felix Günther
Verifiable Verification in Cryptographic Protocols. IACR Cryptol. ePrint Arch. 2023 (2023)
Matilda Backendal, Felix Günther, Kenneth G. Paterson
Puncturable Key Wrapping and Its Applications. IACR Cryptol. ePrint Arch. 2022 (2022)
Matilda Backendal, Felix Günther, Kenneth G. Paterson
Puncturable Key Wrapping and Its Applications. ASIACRYPT (2) (2022)
Benjamin Dowling, Felix Günther, Alexandre Poirrier
Continuous Authentication in Secure Messaging. IACR Cryptol. ePrint Arch. 2022 (2022)
Benjamin Dowling, Felix Günther, Alexandre Poirrier
Continuous Authentication in Secure Messaging. ESORICS (2) (2022)
Felix Günther, Simon Rastikian, Patrick Towa, Thom Wiggers
KEMTLS with Delayed Forward Identity Protection in (Almost) a Single Round Trip. ACNS (2022)
Jacqueline Brendel, Rune Fiedler, Felix Günther, Christian Janson, Douglas Stebila
Post-quantum Asynchronous Deniable Key Exchange and the Signal Handshake. Public Key Cryptography (2) (2022)
Felix Günther, Marc Ilunga Tshibumbu Mukendi
Careful with MAc-then-SIGn: A Computational Analysis of the EDHOC Lightweight Authenticated Key Exchange Protocol. IACR Cryptol. ePrint Arch. 2022 (2022)
Hannah Davis, Denis Diemert, Felix Günther, Tibor Jager
On the Concrete Security of TLS 1.3 PSK Mode. IACR Cryptol. ePrint Arch. 2022 (2022)
Hannah Davis, Denis Diemert, Felix Günther, Tibor Jager
On the Concrete Security of TLS 1.3 PSK Mode. EUROCRYPT (2) (2022)
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol. J. Cryptol. 34 (4) (2021)
Hannah Davis, Felix Günther
Tighter Proofs for the SIGMA and TLS 1.3 Key Exchange Protocols. ACNS (2) (2021)
Matthias Geihs, Oleg Nikiforov, Denise Demirel, Alexander Sauer, Denis Butin, Felix Günther, Gernot Alber, Thomas Walther, Johannes Buchmann
The Status of Quantum-Key-Distribution-Based Long-Term Secure Internet Communication. IEEE Trans. Sustain. Comput. 6 (1) (2021)
Jean Paul Degabriele, Jérôme Govinden, Felix Günther, Kenneth G. Paterson
The Security of ChaCha20-Poly1305 in the Multi-User Setting. CCS (2021)
Jacqueline Brendel, Rune Fiedler, Felix Günther, Christian Janson, Douglas Stebila
Post-quantum Asynchronous Deniable Key Exchange and the Signal Handshake. IACR Cryptol. ePrint Arch. 2021 (2021)
Felix Günther, Patrick Towa
KEMTLS with Delayed Forward Identity Protection in (Almost) a Single Round Trip. IACR Cryptol. ePrint Arch. 2021 (2021)
Felix Günther
Modeling advanced security aspects of key exchange and secure channel protocols. it Inf. Technol. 62 (5-6) (2020)
Marc Fischlin, Felix Günther, Christian Janson
Robust Channels: Handling Unreliable Networks in the Record Layers of QUIC and DTLS 1.3. IACR Cryptol. ePrint Arch. 2020 (2020)
Marc Fischlin, Felix Günther, Philipp Muth
Information-Theoretic Security of Cryptographic Channels. ICICS (2020)
Marc Fischlin, Felix Günther, Philipp Muth
Information-Theoretic Security of Cryptographic Channels. IACR Cryptol. ePrint Arch. 2020 (2020)
Mihir Bellare, Hannah Davis, Felix Günther
Separate Your Domains: NIST PQC KEMs, Oracle Cloning and Read-Only Indifferentiability. EUROCRYPT (2) (2020)
Jacqueline Brendel, Marc Fischlin, Felix Günther, Christian Janson, Douglas Stebila
Towards Post-Quantum Security for Signal's X3DH Handshake. SAC (2020)
Mihir Bellare, Hannah Davis, Felix Günther
Separate Your Domains: NIST PQC KEMs, Oracle Cloning and Read-Only Indifferentiability. IACR Cryptol. ePrint Arch. 2020 (2020)
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol. IACR Cryptol. ePrint Arch. 2020 (2020)
Hannah Davis, Felix Günther
Tighter Proofs for the SIGMA and TLS 1.3 Key Exchange Protocols. IACR Cryptol. ePrint Arch. 2020 (2020)
Marc Fischlin, Felix Günther
Modeling Memory Faults in Signature and Authenticated Encryption Schemes. CT-RSA (2020)
Jacqueline Brendel, Marc Fischlin, Felix Günther
Breakdown Resilience of Key Exchange Protocols: NewHope, TLS 1.3, and Hybrids. ESORICS (2) (2019)
Jacqueline Brendel, Marc Fischlin, Felix Günther, Christian Janson, Douglas Stebila
Challenges in Proving Post-Quantum Key Exchanges Based on Key Encapsulation Mechanisms. IACR Cryptol. ePrint Arch. 2019 (2019)
Marc Fischlin, Felix Günther
Modeling Memory Faults in Signature and Encryption Schemes. IACR Cryptol. ePrint Arch. 2019 (2019)
Marc Fischlin, Felix Günther, Giorgia Azzurra Marson, Kenneth G. Paterson
Data Is a Stream: Security of Stream-Based Channels. IACR Cryptol. ePrint Arch. 2017 (2017)
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
CogniCrypt: supporting developers in using cryptography. ASE (2017)
Felix Günther, Bertram Poettering
Linkable message tagging: solving the key distribution problem of signature schemes. Int. J. Inf. Sec. 16 (3) (2017)
Jacqueline Brendel, Marc Fischlin, Felix Günther
Breakdown Resilience of Key Exchange Protocols and the Cases of NewHope and TLS 1.3. IACR Cryptol. ePrint Arch. 2017 (2017)
Matthias Geihs, Oleg Nikiforov, Denise Demirel, Alexander Sauer, Denis Butin, Felix Günther, Gernot Alber, Thomas Walther, Johannes Buchmann
The Status of Quantum-Based Long-Term Secure Communication over the Internet. CoRR (2017)
Jacqueline Brendel, Marc Fischlin, Felix Günther, Christian Janson
PRF-ODH: Relations, Instantiations, and Impossibility Results. IACR Cryptol. ePrint Arch. 2017 (2017)
Felix Günther, Britta Hale, Tibor Jager, Sebastian Lauer
0-RTT Key Exchange with Full Forward Secrecy. IACR Cryptol. ePrint Arch. 2017 (2017)
Jacqueline Brendel, Marc Fischlin, Felix Günther, Christian Janson
PRF-ODH: Relations, Instantiations, and Impossibility Results. CRYPTO (3) (2017)
Felix Günther, Sogol Mazaheri
A Formal Treatment of Multi-key Channels. IACR Cryptol. ePrint Arch. 2017 (2017)
Felix Günther, Sogol Mazaheri
A Formal Treatment of Multi-key Channels. CRYPTO (3) (2017)
Felix Günther, Britta Hale, Tibor Jager, Sebastian Lauer
0-RTT Key Exchange with Full Forward Secrecy. EUROCRYPT (3) (2017)
Marc Fischlin, Felix Günther
Replay Attacks on Zero Round-Trip Time: The Case of the TLS 1.3 Handshake Candidates. IACR Cryptol. ePrint Arch. 2017 (2017)
Marc Fischlin, Felix Günther
Replay Attacks on Zero Round-Trip Time: The Case of the TLS 1.3 Handshake Candidates. EuroS&P (2017)
Jean Paul Degabriele, Victoria Fehr, Marc Fischlin, Tommaso Gagliardoni, Felix Günther, Giorgia Azzurra Marson, Arno Mittelbach, Kenneth G. Paterson
Unpicking PLAID: a cryptographic analysis of an ISO-standards-track authentication protocol. Int. J. Inf. Sec. 15 (6) (2016)
Marc Fischlin, Felix Günther, Benedikt Schmidt, Bogdan Warinschi
Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3. IEEE Symposium on Security and Privacy (2016)
Benjamin Dowling, Felix Günther, Udyani Herath, Douglas Stebila
Secure Logging Schemes and Certificate Transparency. ESORICS (2) (2016)
Benjamin Dowling, Felix Günther, Udyani Herath, Douglas Stebila
Secure Logging Schemes and Certificate Transparency. IACR Cryptol. ePrint Arch. 2016 (2016)
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
A Cryptographic Analysis of the TLS 1.3 draft-10 Full and Pre-shared Key Handshake Protocol. IACR Cryptol. ePrint Arch. 2016 (2016)
Felix Günther, Bertram Poettering
Linkable Message Tagging: Solving the Key Distribution Problem of Signature Schemes. ACISP (2015)
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates. CCS (2015)
Benjamin Dowling, Marc Fischlin, Felix Günther, Douglas Stebila
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates. IACR Cryptol. ePrint Arch. 2015 (2015)
Marc Fischlin, Felix Günther, Giorgia Azzurra Marson, Kenneth G. Paterson
Data Is a Stream: Security of Stream-Based Channels. CRYPTO (2) (2015)
Felix Günther, Bertram Poettering
Linkable Message Tagging: Solving the key distribution problem of signature schemes. IACR Cryptol. ePrint Arch. 2014 (2014)
Jean Paul Degabriele, Victoria Fehr, Marc Fischlin, Tommaso Gagliardoni, Felix Günther, Giorgia Azzurra Marson, Arno Mittelbach, Kenneth G. Paterson
Unpicking PLAID - A Cryptographic Analysis of an ISO-standards-track Authentication Protocol. IACR Cryptol. ePrint Arch. 2014 (2014)
Felix Günther, Mark Manulis, Andreas Peter
Privacy-Enhanced Participatory Sensing with Collusion-Resistance and Data Aggregation. IACR Cryptol. ePrint Arch. 2014 (2014)
Felix Günther, Mark Manulis, Andreas Peter
Privacy-Enhanced Participatory Sensing with Collusion Resistance and Data Aggregation. CANS (2014)
Jean Paul Degabriele, Victoria Fehr, Marc Fischlin, Tommaso Gagliardoni, Felix Günther, Giorgia Azzurra Marson, Arno Mittelbach, Kenneth G. Paterson
Unpicking PLAID - A Cryptographic Analysis of an ISO-Standards-Track Authentication Protocol. SSR (2014)
Marc Fischlin, Felix Günther
Multi-Stage Key Exchange and the Case of Google's QUIC Protocol. CCS (2014)
Nils Fleischhacker, Felix Günther, Franziskus Kiefer, Mark Manulis, Bertram Poettering
Pseudorandom signatures. AsiaCCS (2013)
Nils Fleischhacker, Felix Günther, Franziskus Kiefer, Mark Manulis, Bertram Poettering
Pseudorandom Signatures. IACR Cryptol. ePrint Arch. 2011 (2011)
Felix Günther, Mark Manulis, Thorsten Strufe
Cryptographic Treatment of Private User Profiles. IACR Cryptol. ePrint Arch. 2011 (2011)
Felix Günther, Mark Manulis, Thorsten Strufe
Key management in distributed online social networks. WOWMOM (2011)
Felix Günther, Mark Manulis, Thorsten Strufe
Cryptographic Treatment of Private User Profiles. Financial Cryptography Workshops (2011)

Felix Günther.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Felix Günther