Skip to Content
All memories

Adversarial Infrastructure & Global Systems

Browse series · RSS · Atom

Start here: first entry.

  1. BGP and Routing Attacks: Engineering for the Internet We Have

    January 1, 2024 · 4 min

    Engineering notebook entry (January 2024): BGP and Routing Attacks: Engineering for the Internet We Have.

  2. DDoS at Scale: Adaptive Defense and Cost Asymmetry

    February 1, 2024 · 4 min

    Spec-driven research note (February 2024): DDoS at Scale: Adaptive Defense and Cost Asymmetry.

  3. Supply Chain Attacks: Dependency Poisoning and Maintainer Compromise

    March 1, 2024 · 4 min

    Adversarial-first deep dive (March 2024): Supply Chain Attacks: Dependency Poisoning and Maintainer Compromise.

  4. Sandbox Escapes: Isolation Boundaries as a Design Input

    April 1, 2024 · 4 min

    Spec-driven research note (April 2024): Sandbox Escapes: Isolation Boundaries as a Design Input.

  5. Time-Based Attacks: NTP Manipulation, Expiration, and Replay

    May 1, 2024 · 4 min

    Adversarial-first deep dive (May 2024): Time-Based Attacks: NTP Manipulation, Expiration, and Replay.

  6. Consensus Under Attack: Adaptive Adversaries and Network Control

    June 1, 2024 · 4 min

    Spec-driven research note (June 2024): Consensus Under Attack: Adaptive Adversaries and Network Control.

  7. Byzantine Fault Injection: Testing Protocols Like an Attacker

    July 1, 2024 · 4 min

    Adversarial-first deep dive (July 2024): Byzantine Fault Injection: Testing Protocols Like an Attacker.

  8. Metadata and Privacy: The Hard Part Isn’t Encryption

    August 1, 2024 · 4 min

    Threat-model-first analysis (August 2024): Metadata and Privacy: The Hard Part Isn’t Encryption.

  9. Secure Enclaves in Distributed Systems: Remote Attestation and Trust

    September 1, 2024 · 4 min

    Spec-driven research note (September 2024): Secure Enclaves in Distributed Systems: Remote Attestation and Trust.

  10. Formal Verification of Crypto Protocols: Models, Gaps, and Pain

    October 1, 2024 · 4 min

    Spec-driven research note (October 2024): Formal Verification of Crypto Protocols: Models, Gaps, and Pain.

  11. ZKP Systems Engineering: Provers, Verifiers, and Operational Cost

    November 1, 2024 · 4 min

    Threat-model-first analysis (November 2024): ZKP Systems Engineering: Provers, Verifiers, and Operational Cost.

  12. Designing for Catastrophic Failure: Compartmentalization and Recovery

    December 1, 2024 · 4 min

    Spec-driven research note (December 2024): Designing for Catastrophic Failure: Compartmentalization and Recovery.

  13. The KelpDAO Exploit Was Not a Bug

    April 19, 2026 · 22 min

    Incident memo (April 2026): the 116,500 rsETH release via LayerZero EndpointV2 was a semantic guard failure. Signatures are not truth unless they bind to a unique, finalized source-chain debit.