Monthly research note. Theme: Quantum-Resilient Systems Engineering.
TL;DR
A focused memo on Long-Lived Secrets: Forward Secrecy, KEMs, and Key Erasure: define the model, state the properties, then design the system so those properties remain true under failure and adversaries.
Most failures are boundary failures: parsing, persistence, concurrency, retries, and upgrades.
Key takeaways
- Downgrade resistance must be explicit and tested under active attackers.
- Hybrid is an operational mode: deploy, monitor, rollback—not a paper design.
- Inventory long-lived secrets first; you can’t migrate what you can’t locate.
- Measure correctness signals, not only latency/throughput.
- Prefer protocols and APIs that make invalid states hard to express.
Why this matters
- Cost changes drive new DoS surfaces; defenses must evolve.
- Long-lived devices and PKI lifecycles are the hard constraint.
- Migration risk is operational: inventory, rollout, rollback, and monitoring.
- Hybrid protocols fail if binding is unclear or downgrade is possible.
Key questions
- How do you validate resilience (DoS, side channels, rollback, compromise)?
- Which protocols need hybrid now, and which can wait without regret?
- What secrets must remain confidential for 10–30 years (and where are they today)?
- How do you stop downgrade under active adversaries?
- How do you manage mixed deployments across regions and vendors?
- How do you define success metrics for PQ readiness beyond “enabled”?
Assumptions
- Operational teams need safe playbooks; crypto changes are not one-off.
- Rollouts happen under partial adoption; compatibility matters.
- Adversaries record traffic today (HNDL) and attack later.
- Key and certificate lifecycles outlive application versions.
Non-goals
- Switching algorithms without inventorying where secrets are used.
- Treating PQ migration as a single deployment event.
Parsing is an attacker-controlled interface—validate early and fail fast.
Model & invariants
Risk is a function of exposure and lifetime:
Inventory first. You can’t migrate what you can’t locate.
Treat ops as part of the protocol: monitoring, rollback, and incident response.
Monotonicity beats timestamps: counters and epochs survive clock skew.
Security properties
- Integrity: invalid transitions are rejected (and detectable).
- Replay resistance: duplicated inputs do not change outcomes.
- Downgrade resistance: negotiation can’t silently weaken security posture.
- Least authority: privileges are scoped by purpose and time.
Failure modes
- Mixed-version behavior that violates assumptions silently.
- Resource exhaustion (CPU/bandwidth/storage) turning into correctness failures.
- Timeout ambiguity causing double-apply or partial state transitions.
- Observability gaps during incidents (missing evidence).
A recovery plan that isn’t exercised will fail when you need it.
Design sketch
flowchart TD
inventory["Inventory"] --> prioritize["Prioritize"]
prioritize --> hybrid["Hybrid Deploy"]
hybrid --> monitor["Monitor"]
monitor --> cutover["Cutover"]
cutover --> deprecate["Deprecate Old"]Implementation notes
Operationalize early: rollback and monitoring are part of the design.
Acknowledge only after durability (or make “ack” explicitly best-effort).
// PQ migration note: "enabled" is not "safe" unless binding and downgrade resistance are explicit.Verification strategy
- Performance profiling under load to quantify DoS risk.
- Side-channel audits for constrained implementations.
- Rotation drills: certificates, tunnels, device identities.
- Interop tests across stacks and versions.
- Downgrade simulations with active attackers.
Operational notes
- Define compatibility windows and communicate them to stakeholders.
- Add telemetry for algorithm negotiation and failure modes.
- Roll out hybrid with canaries and explicit rollback triggers.
- Practice emergency deprecation (turn off broken algorithms quickly).
- Maintain an inventory of long-lived secrets and their lifetimes.
Attach explicit rollout/rollback triggers to changes that touch security or correctness.
What to monitor
- Authz failures and policy denials (unexpected spikes).
- Retry/timeout rates by endpoint and client cohort.
- Invariant violation rate (should be ~0).
- Rollback events and the conditions that triggered them.
- Admission-control / rate-limit rejections (by reason).
Rollback plan
- Keep dual-write / dual-verify windows where appropriate.
- Use canaries and staged rollout; stop early when signals degrade.
- Define an explicit rollback trigger (metrics + thresholds).
- Prefer backward-compatible changes; avoid “flag day” upgrades.
- Preserve evidence (configs, artifacts, audit logs) to reconstruct what changed.
Evidence
- RFC 8446: TLS 1.3 (1) — A useful reference for handshake structure and downgrade resistance patterns.
- Evidence: Handshake transcript binding and downgrade resistance patterns; monitor negotiation paths and failure reasons.
- Designing Data-Intensive Applications (Kleppmann) (2) — The systems-engineering baseline for correctness, replication, and failure.
- Evidence: Replication and consistency tradeoffs as engineering constraints; use as reference when naming guarantees.
Open questions
- What is your plan for third-party dependencies that can’t migrate quickly?
- What is your minimal ‘safe mode’ when PQ paths fail?
- Which protocol surfaces are most exposed to HNDL risk in your environment?
- How do you prevent configuration drift from re-enabling weak modes?
Checklist
- Rollback plan rehearsed and automated.
- Failure modes enumerated with mitigations.
- Safety properties stated as invariants.
- Costs bounded (CPU/memory/bandwidth) under adversarial inputs.
- Assumptions listed and reviewed.
- Telemetry captures correctness signals.
Further reading
- Let's Encrypt Incident Reports — Operational lessons relevant to rotation and recovery at scale.
- RFC 8446: TLS 1.3 — A useful reference for handshake structure and downgrade resistance patterns.
- NIST Post-Quantum Cryptography Project — The standardization baseline for PQC readiness programs.
- Site Reliability Engineering (Google) — Error budgets, incident response, and reliability as an engineering discipline.
- Designing Data-Intensive Applications (Kleppmann) — The systems-engineering baseline for correctness, replication, and failure.
- Learn TLA+ — Practical entry point for specification and model checking.