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