Proving the safety of the Wrapped ETH smart contract, using the Z3 Theorem Prover
Tracking unaudited code can reveal latent, deadly bugs, including the one used to hack Nomad
Painless smart contract CTF challenges using Paradigm's CTF framework
The first audit firm to stake ETH behind the effectiveness of an audit.
The Binance Bridge Hack explained in simple terms
Exploring the security pitfalls of the Move language.
Anchor is no silver bullet for avoiding mistakes in Solana code
A framework for DeFi developers and auditors to identify deadly economic flaws
A developer's guide to writing secure smart contracts under The Merge.
Crash course on smart contract auditing for vulnerability researchers