Research agenda
The lab's program runs along three directions. Each accumulates implementations, reproductions, measurements, and notes over time; negative results are kept on the record.
-
Compact PQ Authentication
activePost-quantum signatures are an order of magnitude larger than the ECDSA and Ed25519 signatures internet protocols were built around. Key exchange has a migration story; authentication doesn't yet. This direction studies how ML-DSA, Falcon, and SLH-DSA behave inside real protocol budgets — TLS handshakes, certificate chains, DNSSEC's size envelope — through implementation and measurement.
Read the direction → -
Assumption Diversification
activeMost deployed post-quantum cryptography rests on structured lattice assumptions. If those assumptions weaken, the fallback portfolio matters. This direction studies code-based and alternative-assumption primitives, and the analysis of cryptographic monoculture risk as a portfolio problem.
Read the direction → -
Hybrid PQC+QKD Composition
reading modeHybrid deployments combining post-quantum cryptography with quantum key distribution are moving faster than the composable security proofs that should justify them. This direction is currently in reading mode: building the quantum information and composable-security foundations the problem requires.
Read the direction →