Stefan-Lukas Gazdag

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 11

Top Topics

Software Systems

Formal Analysis

Signature Scheme

Development Teams

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Christian Näther, Daniel Herzinger, Stefan-Lukas Gazdag, Jan-Philipp Steghöfer, Simon Daum, Daniel Loebenberger
Migrating Software Systems towards Post-Quantum-Cryptography - A Systematic Literature Review. CoRR (2024)
Stefan-Lukas Gazdag, Sophia Grundner-Culemann, Tobias Heider, Daniel Herzinger, Felix Schärtl, Joo Yeon Cho, Tobias Guggemos, Daniel Loebenberger
Quantum-Resistant MACsec and IPsec for Virtual Private Networks. SSR (2023)
Stefan-Lukas Gazdag, Sophia Grundner-Culemann, Tobias Guggemos, Tobias Heider, Daniel Loebenberger
A formal analysis of IKEv2's post-quantum extension. ACSAC (2021)
Daniel Herzinger, Stefan-Lukas Gazdag, Daniel Loebenberger
Real-World Quantum-Resistant IPsec. SIN (2021)
Joo Cho, Stefan-Lukas Gazdag, Alexander von Gernler, Helmut Grießer, Sophia Grundner-Culemann, Tobias Guggemos, Tobias Heider, Daniel Loebenberger
Towards Quantum-resistant Virtual Private Networks. Krypto-Tag (2019)
Stefan-Lukas Gazdag, Markus Friedl, Daniel Loebenberger
Post-Quantum Software Updates. GI-Jahrestagung (2019)
Andreas Hülsing, Denis Butin, Stefan-Lukas Gazdag, Joost Rijneveld, Aziz Mohaisen
XMSS: eXtended Merkle Signature Scheme. RFC 8391 (2018)
Stefan-Lukas Gazdag
Post-Quantum Software Updates. Krypto-Tag (2018)
David A. McGrew, Panos Kampanakis, Scott R. Fluhrer, Stefan-Lukas Gazdag, Denis Butin, Johannes Buchmann
State Management for Hash Based Signatures. IACR Cryptol. ePrint Arch. 2016 (2016)
David A. McGrew, Panos Kampanakis, Scott R. Fluhrer, Stefan-Lukas Gazdag, Denis Butin, Johannes Buchmann
State Management for Hash-Based Signatures. SSR (2016)
Denis Butin, Stefan-Lukas Gazdag, Johannes Buchmann
Real-World Post-Quantum Digital Signatures. CSP Forum (2015)