DeFi Security Summit 2024

Formal Verification of the INTMAX2 Protocol | Denisa Diaconescu (Nethermind)

Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs)

Introduction to SEAL | samczsun

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

Leveraging knowledge to transition between blockchain stacks | Jonatas Martines (Spearbit)

Mapping the Unseen: New Visual Techniques for Smart Contract Vulnerability Analysis | Jonas Surmann (TrustBytes)