1. Trail of Bits的威胁建模方法 博客 | 2025-02-28 05:00 | blog.trailofbits.com | 原文 ↗ | #application-security | #architecture | #threat-modeling
2. Ockam 的密码学设计审查 博客 | 2024-03-05 14:00 | blog.trailofbits.com | 原文 ↗ | #cryptography | #formal-verification | #noise