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

Justin Jacob, Blockchain Security Engineer, Trail of Bits – Cairo 1.0: Differences and Security Considerations

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