TY  - RPRT
TI  - On the Formalization of Cryptographic Migration
AU  - Daniel Loebenberger
AU  - Stefan-Lukas Gazdag
AU  - Daniel Herzinger
AU  - Eduard Hirsch
AU  - Christian Näther
AU  - Jan-Philipp Steghöfer
PY  - 2025
UR  - https://arxiv.org/abs/2408.05997
ID  - 2408.05997
ER  -