Most Hacks Are Code Bugs. Most Losses Aren't

szzeth — VectorSec

The 3 Elephants in the Room: OpSec, Vibe Coding, and AI Audits

Sebastian Banescu — Adevar Labs

Is Traditional Smart Contract Fuzzing Still Relevant?

Michal Převrátil — Ack3

Discovering Real Bugs with AI + Model Checkers

Daniel Cumming — Runtime Verification Inc.

Crafting Trustless Systems with Formal & ZK Proofs

Andrey Lyashin — Ordocode

Lending Market Safety Under L2 Sequencer Downtime

Marc Egli — ChainSecurity

A Scientist's Guide to Quantum Cryptography

Sanja Djurdjic Mijin — Universidad Autónoma de Madrid & Institute of Physics Belgrade