土法炼钢兴趣小组的算法知识备份

【密码学百科】密码学实现陷阱：三层漏洞分类、审计工具链与系统性预防

2026-04-04 | cryptography | #implementation #constant-time #memory-safety #API-design #audit #formal-verification #fuzzing #Heartbleed #semgrep #CodeQL

密码学漏洞并非随机出现——本文将实现陷阱划分为密码算法层、密码库层、系统集成层三个层次，结合 Heartbleed、goto fail 等经典案例，给出从静态分析到形式化验证的完整审计工具链和系统性预防方法论