Christian Näther

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 …