#distributed-infrastructureView all tags
The KelpDAO Exploit Was Not a Bug
· 22 min — #incident-analysis#security#DeFi#cross-chain#distributed-infrastructure#formal-methods#protocol-design#Ethereum#LayerZero
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