Stephan Krenn

The paper introduces a topology-hiding connectivity assurance protocol that allows network providers to cryptographically prove the existence of a secure connection in QKD networks without revealing the internal network structure.

The paper proposes a provably secure path validation protocol for large-scale Quantum Key Distribution (QKD) networks that allows receivers to verify network compliance without revealing sensitive topological information to users.

The paper proposes bPk#, a distributed architecture for pseudonyms that enhances privacy and availability in national eID systems by delegating pseudonym computation rights to users and service providers, thereby reducing reliance on a central authority.