#resilience
A set of research notes and deep dives focused on correctness, security, and operational evidence.
Best starting points
Designing for Catastrophic Failure: Compartmentalization and Recovery
Spec-driven research note (December 2024): Designing for Catastrophic Failure: Compartmentalization and Recovery.
ZKP Systems Engineering: Provers, Verifiers, and Operational Cost
Threat-model-first analysis (November 2024): ZKP Systems Engineering: Provers, Verifiers, and Operational Cost.
Formal Verification of Crypto Protocols: Models, Gaps, and Pain
Spec-driven research note (October 2024): Formal Verification of Crypto Protocols: Models, Gaps, and Pain.
Secure Enclaves in Distributed Systems: Remote Attestation and Trust
Spec-driven research note (September 2024): Secure Enclaves in Distributed Systems: Remote Attestation and Trust.
Metadata and Privacy: The Hard Part Isn’t Encryption
Threat-model-first analysis (August 2024): Metadata and Privacy: The Hard Part Isn’t Encryption.
Roadmap
- Start with assumptions and invariants
- Enumerate failure modes and attack surfaces
- Define what to monitor and how to roll back