#threat-modelingView all tags
PQC Research Series — Part 1
· 17 min — #post-quantum-cryptography#formal-methods#cryptography#systems#threat-modeling#QROM
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