A testbed for studying size, fragmentation, resolver behavior, and protocol boundaries when DNSSEC meets post-quantum cryptographic material.
DNSSEC deployments already live near operational boundaries. Larger signatures and keys make those boundaries more visible.
The lab is organized around controlled experiments: change one dimension, capture the behavior, and compare resolver and network responses under repeatable conditions.
The lab records packet size, truncation, fragmentation, resolver choices, retries, and network responses under controlled input changes.
An evaluation scaffold for automated research workflows: scenario design, trace capture, failure review, and reproducible comparisons between agents.
Lean-oriented formalization work for reasoning about stack behavior, invariants, and the gap between executable systems and proof-carrying claims.
A measurement-oriented harness for tracking post-quantum TLS behavior, handshake shape, certificate chains, and interoperability risks across real deployments.