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.
DRAG ME

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