Curated security research, vulnerabilities, advisories and tools for practitioners.

#formal-verification

Security coverage tagged formal-verification.

1.

A “proof” of Fermat’s Last Theorem that fits the margin

blog | 2026-09-09 11:00 | blog.trailofbits.com | original ↗ | #memory-safety | #vulnerability | #formal-verification

2.

Can chatbots craft correct code?

blog | 2025-12-19 12:00 | blog.trailofbits.com | original ↗ | #ai-security | #ai-safety | #llm

3.

Formally Verified Post-Quantum Algorithms

blog | 2024-08-19 00:00 | bughunters.google.com | original ↗ | #cryptography | #post-quantum | #nist

4.

Why fuzzing over formal verification?

blog | 2024-03-22 13:00 | blog.trailofbits.com | original ↗ | #smart-contracts | #fuzzing | #blockchain

5.

Cryptographic design review of Ockam

blog | 2024-03-05 14:00 | blog.trailofbits.com | original ↗ | #cryptography | #formal-verification | #noise

6.

Solana formal verification: a case study

blog | 2023-01-26 00:00 | osec.io | original ↗ | #rust | #formal-verification | #solana

7.

The Move Prover: a guide

blog | 2022-09-16 00:00 | osec.io | original ↗ | #smart-contracts | #tutorial | #formal-verification

8.

Move: an auditor’s introduction

blog | 2022-09-06 00:00 | osec.io | original ↗ | #smart-contracts | #blockchain | #formal-verification

9.

Contract verification made easier

blog | 2020-07-12 19:00 | blog.trailofbits.com | original ↗ | #web3 | #smart-contracts | #formal-verification

10.

Formal Analysis of the CBC Casper Consensus Algorithm with TLA+

blog | 2019-10-25 11:00 | blog.trailofbits.com | original ↗ | #blockchain | #formal-verification | #ethereum