DeFi Security Summit 2025

State of Fuzzing: Closing the Circle From Machine to Human and Back

Statically Safe: Proving Security with Semantic Queries

Stopping Multisig MEV with Harbour

Storage Proofs Done Wrong: a Case Study

The CPIMP Backdoor: Anatomy of a Multi-Chain Proxy Attack

The Intersection of L2 and Bridge Security