2024

Fischlin, Marc ; Günther, Felix ; Janson, Christian (2024)
Robust Channels: Handling Unreliable Networks in the Record Layers of QUIC and DTLS 1.3.
In: Journal of Cryptology, 37 (2)
doi: 10.1007/s00145-023-09489-9
Artikel, Bibliographie

2023

Fischlin, Marc ; Günther, Felix
Hrsg.: Meng, Weizhi ; Jensen, Christian Damsgaard ; Cremers, Cas ; Kirda, Engin (2023)
Verifiable Verification in Cryptographic Protocols.
2023 ACM SIGSAC Conference on Computer and Communications Security (CCS 2023). Copenhagen, Denmark (26.-30.11.2023)
doi: 10.1145/3576915.3623151
Konferenzveröffentlichung, Bibliographie

2021

Degabriele, Jean Paul ; Govinden, Jérôme ; Günther, Felix ; Paterson, Kenneth G. (2021)
The Security of ChaCha20-Poly1305 in the Multi-User Setting.
27th ACM Conference on Computer and Communications Security. virtual Conference (15.11.2021-19.11.2021)
doi: 10.1145/3460120.3484814
Konferenzveröffentlichung, Bibliographie

Brendel, Jacqueline ; Fiedler, Rune ; Günther, Felix ; Janson, Christian ; Stebila, Douglas (2021)
Post-quantum Asynchronous Deniable Key Exchange and the Signal Handshake.
doi: 10.1007/978-3-030-97131-1_1
Report, Bibliographie

Dowling, Benjamin ; Fischlin, Marc ; Günther, Felix ; Stebila, Douglas (2021)
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol.
In: Journal of Cryptology, 34 (4)
doi: 10.1007/s00145-021-09384-1
Artikel, Bibliographie

2020

Fischlin, Marc ; Günther, Felix ; Muth, Philipp (2020)
Information-Theoretic Security of Cryptographic Channels.
22nd International Conference on Information and Communications Security (ICICS 2020). virtual Conference (24.08.2021-26.08.2021)
doi: 10.1007/978-3-030-61078-4_17
Konferenzveröffentlichung, Bibliographie

Fischlin, Marc ; Günther, Felix
Hrsg.: Jarecki, Stanislaw (2020)
Modeling Memory Faults in Signature and Authenticated Encryption Schemes.
2020 RSA Conference Cryptographer’s Track (CT-RSA 2020). San Francisco, USA (24.-28.02.2020)
doi: 10.1007/978-3-030-40186-3_4
Konferenzveröffentlichung, Bibliographie

Brendel, Jacqueline ; Fischlin, Marc ; Günther, Felix ; Janson, Christian ; Stebila, Douglas (2020)
Towards Post-Quantum Security for Signal's X3DH Handshake.
27th Selected Areas in Cryptography (SAC 2020). virtual Conference (19.10.2020-23.10.2020)
Konferenzveröffentlichung, Bibliographie

2019

Brendel, Jacqueline ; Fischlin, Marc ; Günther, Felix ; Stebila, Douglas (2019)
Challenges in Proving Post-Quantum Key Exchanges Based on Key Encapsulation Mechanisms.
Report, Bibliographie

Brendel, Jacqueline ; Fischlin, Marc ; Günther, Felix
Hrsg.: Sako, Kazue ; Schneider, Steve A. ; Ryan, Peter Y. A. (2019)
Breakdown Resilience of Key Exchange Protocols: NewHope, TLS 1.3, and Hybrids.
24th European Symposium on Research in Computer Security. Luxembourg (23.09.2019-27.09.2019)
doi: 10.1007/978-3-030-29962-0_25
Konferenzveröffentlichung, Bibliographie

Geihs, Matthias ; Nikiforov, Oleg ; Demirel, Denise ; Sauer, Alexander ; Butin, Denis ; Günther, Felix ; Alber, Gernot ; Walther, Thomas ; Buchmann, Johannes (2019)
The Status of Quantum-Based Long-Term Secure Communication over the Internet.
In: IEEE Transactions on Sustainable Computing
doi: 10.1109/TSUSC.2019.2913948
Artikel, Bibliographie

Fischlin, Marc ; Günther, Felix (2019)
Modeling Memory Faults in Signature and Encryption Schemes.
In: eprint
Artikel, Bibliographie

2018

Günther, Felix (2018)
Modeling Advanced Security Aspects of Key Exchange and Secure Channel Protocols.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

2017

Krüger, Stefan ; Nadi, Sarah ; Reif, Michael ; Ali, Karim ; Mezini, Mira ; Bodden, Eric ; Göpfert, Florian ; Günther, Felix ; Weinert, Christian ; Demmler, Daniel ; Kamath, Ram (2017)
CogniCrypt: Supporting Developers in using Cryptography.
Automated Software Engineering (ASE'17). Urbana, Illinois, USA (30.10.2017-03.11.2017)
doi: 10.1109/ASE.2017.8115707
Konferenzveröffentlichung, Bibliographie

Günther, Felix ; Mazaheri, Sogol (2017)
A Formal Treatment of Multi-key Channels.
Santa Barbara, CA, USA
Konferenzveröffentlichung, Bibliographie

Brendel, Jacqueline ; Fischlin, Marc ; Günther, Felix ; Janson, Christian
Hrsg.: Katz, Jonathan ; Shacham, Hovav (2017)
PRF-ODH: Relations, Instantiations, and Impossibility Results.
Santa Barbara, CA, USA
Konferenzveröffentlichung, Bibliographie

Günther, Felix ; Hale, Britta ; Jager, Tibor ; Lauer, Sebastian (2017)
0-RTT Key Exchange with Full Forward Secrecy.
Konferenzveröffentlichung, Bibliographie

Fischlin, Marc ; Günther, Felix (2017)
Replay Attacks on Zero Round-Trip Time: The Case of the TLS 1.3 Handshake Candidates.
Paris, France
Konferenzveröffentlichung, Bibliographie

Günther, Felix ; Poettering, Bertram (2017)
Linkable Message Tagging: Solving the Key Distribution Problem of Signature Schemes.
In: International Journal of Information Security, 16 (3)
Artikel, Bibliographie

2016

Dowling, Benjamin ; Günther, Felix ; Herath, Udyani ; Stebila, Douglas (2016)
Secure Logging Schemes and Certificate Transparency.
Heraklion, Crete, Greece
Konferenzveröffentlichung, Bibliographie

Fischlin, Marc ; Günther, Felix ; Schmidt, Benedikt ; Warinschi, Bogdan (2016)
Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3.
San Jose, California, USA
Konferenzveröffentlichung, Bibliographie

Degabriele, Jean Paul ; Fehr, Victoria ; Fischlin, Marc ; Gagliardoni, Tommaso ; Günther, Felix ; Marson, Giorgia Azzurra ; Mittelbach, Arno ; Paterson, Kenneth G. (2016)
Unpicking PLAID: a cryptographic analysis of an ISO-standards-track authentication protocol.
In: International Journal of Information Security, 15 (6)
Artikel, Bibliographie

Dowling, Benjamin ; Fischlin, Marc ; Günther, Felix ; Stebila, Douglas (2016)
A Cryptographic Analysis of the TLS 1.3 draft-10 Full and Pre-shared Key Handshake Protocol.
In: Cryptology ePrint Archive, 2016 (81)
Artikel, Bibliographie

2015

Dowling, Benjamin ; Fischlin, Marc ; Günther, Felix ; Stebila, Douglas (2015)
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates.
Denver, Colorado, USA
Konferenzveröffentlichung, Bibliographie

Fischlin, Marc ; Günther, Felix ; Marson, Giorgia Azzurra ; Paterson, Kenneth G. (2015)
Data Is a Stream: Security of Stream-Based Channels.
Santa Barbara, CA, USA
Konferenzveröffentlichung, Bibliographie

Günther, Felix ; Poettering, Bertram (2015)
Linkable Message Tagging: Solving the Key Distribution Problem of Signature Schemes.
Queensland University of Technology (QUT), Brisbane, Australia
Konferenzveröffentlichung, Bibliographie

2014

Fischlin, Marc ; Günther, Felix (2014)
Multi-Stage Key Exchange and the Case of Google's QUIC Protocol.
Scottsdale, Arizona, USA
Konferenzveröffentlichung, Bibliographie

Günther, Felix ; Manulis, Mark ; Peter, Andreas
Hrsg.: Gritzalis, Dimitris ; Kiayias, Aggelos ; Askoxylakis, Ioannis (2014)
Privacy-Enhanced Participatory Sensing with Collusion Resistance and Data Aggregation.
Heraklion, Crete, Greece
Konferenzveröffentlichung, Bibliographie

Günther, Felix ; Manulis, Mark ; Peter, Andreas (2014)
Privacy-Enhanced Participatory Sensing with Collusion-Resistance and Data Aggregation.
Konferenzveröffentlichung, Bibliographie

Degabriele, Jean Paul ; Fehr, Victoria ; Fischlin, Marc ; Gagliardoni, Tommaso ; Günther, Felix ; Marson, Giorgia Azzurra ; Mittelbach, Arno ; Paterson, Kenneth G.
Hrsg.: Chen, Liqun ; Mitchell, Chris (2014)
Unpicking PLAID.
1st International Conference on Research in Security Standardisation. London, United Kingdom (16.12.2014-17.12.2014)
doi: 10.1007/978-3-319-14054-4_1
Konferenzveröffentlichung, Bibliographie

2011

Cayrel, Pierre-Louis ; Yousfi Alaoui, Sidi Mohamed el ; Günther, Felix ; Hoffmann, Gerhard ; Rothe, Holger (2011)
Efficient implementation of code-based identification/signature schemes.
In: WEWoRC 2011
Artikel, Bibliographie

Günther, Felix ; Manulis, Mark ; Strufe, Thorsten (2011)
Cryptographic Treatment of Private User Profiles.
Konferenzveröffentlichung, Bibliographie

Günther, Felix ; Manulis, Mark ; Strufe, Thorsten (2011)
Key Management in Distributed Online Social Networks.
Konferenzveröffentlichung, Bibliographie