Joran Honig, Security Researcher & Product Lead, ConsenSys Diligence – Scribble in a Nutshell

Kang Li, CTO, CertiK – Unpacking Move VM Security: Expected Guarantees and Implementation Pitfalls

Kontrol Unlocked: Foundry-based Formal Verification for 10x Devs and Auditors | Juan Conejero (Runtime Verification)

Kostas Ferles, Principal Scientist, Veridise – V for Verification: A Unified Service for Secure Blockchains

Kurt Barry, Jared Flatow, Emilio Frangella, Mark Toda – Discussion

Kurt Barry, Smart Contract Specialist, MakerDAO – MakerDAO Smart Contract Safety – When Billions are at Stak