#resilienceView all tags
Designing for Catastrophic Failure: Compartmentalization and Recovery
· 4 min — #research-notes#security#distributed-infrastructure#threat-modeling#resilience
ZKP Systems Engineering: Provers, Verifiers, and Operational Cost
· 4 min — #research-notes#security#distributed-infrastructure#threat-modeling#resilience
Formal Verification of Crypto Protocols: Models, Gaps, and Pain
· 4 min — #research-notes#security#distributed-infrastructure#threat-modeling#resilience
Secure Enclaves in Distributed Systems: Remote Attestation and Trust
· 4 min — #research-notes#security#distributed-infrastructure#threat-modeling#resilience
Metadata and Privacy: The Hard Part Isn’t Encryption
· 4 min — #research-notes#security#distributed-infrastructure#threat-modeling#resilience
Byzantine Fault Injection: Testing Protocols Like an Attacker
· 4 min — #research-notes#security#distributed-infrastructure#threat-modeling#resilience
Consensus Under Attack: Adaptive Adversaries and Network Control
· 4 min — #research-notes#security#distributed-infrastructure#threat-modeling#resilience
Time-Based Attacks: NTP Manipulation, Expiration, and Replay
· 4 min — #research-notes#security#distributed-infrastructure#threat-modeling#resilience
Sandbox Escapes: Isolation Boundaries as a Design Input
· 4 min — #research-notes#security#distributed-infrastructure#threat-modeling#resilience
Supply Chain Attacks: Dependency Poisoning and Maintainer Compromise
· 4 min — #research-notes#security#distributed-infrastructure#threat-modeling#resilience
DDoS at Scale: Adaptive Defense and Cost Asymmetry
· 4 min — #research-notes#security#distributed-infrastructure#threat-modeling#resilience
BGP and Routing Attacks: Engineering for the Internet We Have
· 4 min — #research-notes#security#distributed-infrastructure#threat-modeling#resilience
Red Teaming Infrastructure: Turning Attacks into Regression Tests
· 3 min — #research-notes#DevSecOps#security#resilience#security-critical-infrastructure
Rust/Go Secure Coding Patterns: The Bugs That Still Happen
· 3 min — #research-notes#DevSecOps#security#resilience#security-critical-infrastructure
Secure Configuration: Policy-as-Code and Guardrails
· 3 min — #research-notes#DevSecOps#security#resilience#security-critical-infrastructure
Backup/Restore as a Protocol: RPO/RTO with Adversaries
· 3 min — #research-notes#DevSecOps#security#resilience#security-critical-infrastructure
Observability at Scale: Traces, Cardinality, and Cost
· 3 min — #research-notes#DevSecOps#security#resilience#security-critical-infrastructure
Rate Limiting & Load Shedding: Protecting Reliability SLOs
· 3 min — #research-notes#DevSecOps#security#resilience#security-critical-infrastructure
Multi-Region Design: Failover That You Can Actually Test
· 4 min — #research-notes#DevSecOps#security#resilience#security-critical-infrastructure
Kubernetes Hardening: RBAC, NetworkPolicy, and Pod Security
· 4 min — #research-notes#DevSecOps#security#resilience#security-critical-infrastructure
Runtime Security: eBPF, Policy, and Drift Detection
· 3 min — #research-notes#DevSecOps#security#resilience#security-critical-infrastructure
Secrets Hygiene: Rotation, Scoping, and Runtime Delivery
· 3 min — #research-notes#DevSecOps#security#resilience#security-critical-infrastructure
Reproducible CI/CD: Determinism as Defense
· 3 min — #research-notes#DevSecOps#security#resilience#security-critical-infrastructure
Supply Chain Security: SLSA, SBOM, and Build Provenance
· 3 min — #research-notes#DevSecOps#security#resilience#security-critical-infrastructure
A Minimal TLA+ Workflow for Distributed Protocols
· 4 min — #research-notes#distributed-systems#protocol-design#resilience#Rust
Designing for Network Partitions: Degraded Modes That Still Make Sense
· 4 min — #research-notes#distributed-systems#protocol-design#resilience#Rust
Rate Limiting and Fairness: Protecting Critical Paths
· 4 min — #research-notes#distributed-systems#protocol-design#resilience#Rust
Queues & Streams: Exactly-Once Semantics Without Lying to Yourself
· 4 min — #research-notes#distributed-systems#protocol-design#resilience#Rust
Geo-Replication: Latency Budgets and Cross-Region Failure Modes
· 4 min — #research-notes#distributed-systems#protocol-design#resilience#Rust
Gossip & Epidemic Dissemination: Fast, Probabilistic, and Weird
· 3 min — #research-notes#distributed-systems#protocol-design#resilience#Rust
Transactions: 2PC, 3PC, and Coordinators You Can't Trust
· 3 min — #research-notes#distributed-systems#protocol-design#resilience#Rust
Consistency Models: Linearizability, Serializability, and What You Actually Need
· 4 min — #research-notes#distributed-systems#protocol-design#resilience#Rust
Membership & Reconfiguration: Changing the Set Without Breaking Safety
· 3 min — #research-notes#distributed-systems#protocol-design#resilience#Rust
BFT from First Principles: Safety, Liveness, and Quorums
· 4 min — #research-notes#distributed-systems#protocol-design#resilience#Rust
Consensus Under Partial Synchrony: From Paxos to Raft
· 4 min — #research-notes#distributed-systems#protocol-design#resilience#Rust
State Machine Replication: Log Design, Snapshots, and Compaction
· 3 min — #research-notes#distributed-systems#protocol-design#resilience#Rust