Skip to Content
←All memories

#verification

A set of research notes and deep dives focused on correctness, security, and operational evidence.

View tag listing

Best starting points

  1. Spec-Driven Development: Making the Spec the Center of Gravity

    December 1, 2020 · 4 min

    Design memo (December 2020): Spec-Driven Development: Making the Spec the Center of Gravity.

  2. Differential Testing: Using Other Implementations as Oracles

    June 1, 2020 · 4 min

    Spec-driven research note (June 2020): Differential Testing: Using Other Implementations as Oracles.

  3. Model Checking at Scale: State Explosion and How to Cheat

    March 1, 2020 · 4 min

    Adversarial-first deep dive (March 2020): Model Checking at Scale: State Explosion and How to Cheat.

  4. Designing APIs for Correctness: Types, Lifetimes, and Capabilities

    November 1, 2020 · 3 min

    Engineering notebook entry (November 2020): Designing APIs for Correctness: Types, Lifetimes, and Capabilities.

  5. Verified Crypto Interfaces: Constant-Time Boundaries and Misuse Resistance

    October 1, 2020 · 3 min

    Adversarial-first deep dive (October 2020): Verified Crypto Interfaces: Constant-Time Boundaries and Misuse Resistance.

Roadmap

  • Start with assumptions and invariants
  • Enumerate failure modes and attack surfaces
  • Define what to monitor and how to roll back

Browse topics