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.

Key insight

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.
Attack surface

Parsing is an attacker-controlled interface—validate early and fail fast.

Model & invariants

Risk is a function of exposure and lifetime:

riskexposure×lifetime×adversary_capability.\mathrm{risk} \approx \mathrm{exposure} \times \mathrm{lifetime} \times \mathrm{adversary\_capability}.

Inventory first. You can’t migrate what you can’t locate.

Treat ops as part of the protocol: monitoring, rollback, and incident response.

Invariant

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).
Pitfall

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.

Rule of thumb

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.
Operational note

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

1.
Rescorla E. The Transport Layer Security (TLS) Protocol Version 1.3 [Internet]. RFC Editor; 2018. Report No.: 8446. Available from: https://www.rfc-editor.org/rfc/rfc8446
2.
Kleppmann M. Designing Data-Intensive Applications [Internet]. O’Reilly Media; 2017. Available from: https://dataintensive.net/