DSS 2024
DeFi Security Summit 2024
November 7th, 2024 Queen Sirikit National Convention Center, BANGKOK, THAILAND










About
DeFi Security 101 is a one-day intensive course specifically designed for developers who wish to deepen their understanding of web3 security. Held on the first day of the DeFi Security Summit, this course provides a strong foundation, equipping participants with the necessary knowledge and skills to engage effectively with the Summit and the broader web3 security space. Whether you’re new to security or looking to sharpen your skills, this hands-on technical event is the perfect start to your web3 security journey.
Records
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)
Speakers
2024