Patches as Correctness Oracles in Smart Contract Exploit Generation
May 19, 2026
How we evaluated PoCo, our agentic system for generating proof-of-concept exploits for smart contract vulnerabilities, using security patches as a correctness oracle.
Trusting Trust: A Compiler Backdoor Demo in Go
December 01, 2024
A demonstration of the Trusting Trust Attack, i.e. the elegant compiler backdoor, originally described by Ken Thompson in his 1984 Turing Award lecture.