2 papers
cs.CR2025
On the Formalization of Cryptographic Migration
Daniel Loebenberger, Stefan-Lukas Gazdag, Daniel Herzinger +3
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 c…
cs.CR2025
Toward a Common Understanding of Cryptographic Agility -- A Systematic Review
Christian Näther, Christian Näther, Daniel Herzinger +5
Cryptographic agility is gaining attention due to its crucial role in maintaining cryptographic security in a rapidly evolving technological landscape. However, despite its increas…