Stefan-Lukas Gazdag

Real-World Quantum-Resistant IPsec

2021

The recent advances in the development of quantum computers pose a threat to the cryptography used today. While symmetric algorithms can adapt to those challenges, no prevalent key exchange method can protect against quantum computer …

A Formal Model and Lower-Bound Intuition for Cryptographic Migration

2026 · Communications in computer and information science

We present a novel approach to gaining insight into the structure of cryptographic migration problems which are classic problems in applied cryptography. We use a formal model to capture the inherent dependencies and complexities of …