1.Threat modeling the TRAIL of Bits wayblog | 2025-02-28 05:00 | blog.trailofbits.com | Original ↗ | .md | #application-security | #architecture | #threat-modeling
2.Cryptographic design review of Ockamblog | 2024-03-05 14:00 | blog.trailofbits.com | Original ↗ | .md | #cryptography | #formal-verification | #noise