面向安全从业者的中英双语安全研究与漏洞情报精选。

#formal-verification

#formal-verification 主题的安全资讯。

1.

一个“页边写得下”的费马大定理证明

博客 | 2026-09-09 11:00 | blog.trailofbits.com | 原文 ↗ | #memory-safety | #vulnerability | #formal-verification

2.

聊天机器人能写出正确代码吗？

博客 | 2025-12-19 12:00 | blog.trailofbits.com | 原文 ↗ | #ai-security | #ai-safety | #llm

3.

形式化验证的后量子密码算法

博客 | 2024-08-19 00:00 | bughunters.google.com | 原文 ↗ | #cryptography | #post-quantum | #nist

4.

为什么选择模糊测试而不是形式化验证？

博客 | 2024-03-22 13:00 | blog.trailofbits.com | 原文 ↗ | #smart-contracts | #fuzzing | #blockchain

5.

Ockam 的密码学设计审查

博客 | 2024-03-05 14:00 | blog.trailofbits.com | 原文 ↗ | #cryptography | #formal-verification | #noise

6.

Solana 形式化验证：案例研究

博客 | 2023-01-26 00:00 | osec.io | 原文 ↗ | #rust | #formal-verification | #solana

7.

Move Prover 指南

博客 | 2022-09-16 00:00 | osec.io | 原文 ↗ | #smart-contracts | #tutorial | #formal-verification

8.

Move：审计师入门指南

博客 | 2022-09-06 00:00 | osec.io | 原文 ↗ | #smart-contracts | #blockchain | #formal-verification

9.

合约验证变得更简单

博客 | 2020-07-12 19:00 | blog.trailofbits.com | 原文 ↗ | #web3 | #smart-contracts | #formal-verification

10.

使用 TLA+ 对 CBC Casper 共识算法进行形式化分析

博客 | 2019-10-25 11:00 | blog.trailofbits.com | 原文 ↗ | #blockchain | #formal-verification | #ethereum