First Annual DeFi Security Summit

David Tarditi, VP of Engineering at CertiK – Tools For Supporting Manual Auditing At Scale

Denys Ivanov, Hacken COO – What Should the Scope of the Web3 Audit Look Like?

Emiliano Bonassi, DeFi Italy – The Big Red Button: How to Plan and Design for Security Events

Emiliano Bonassi, Mitchell Amador, Samczsun – Discussion: White Hat Hacking

Emilio Frangella, Head of Smart Contracts at AAVE BGD – The Butterfly effect: Small mistakes, massive consequences – and how to avoid them

Everett Hildenbrandt, CTO of Runtime Verification – Formal Verification of Foundry Tests