DSS 2024

DeFi Security Summit 2024

November 7th, 2024 Queen Sirikit National Convention Center, BANGKOK, THAILAND

Firewalling Decentralized Protocols | Assaf Eli (Ironblocks)

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

Hooks: Security considerations when building Hooks in Uniswap V4 | Jota Carpanelli (OpenZeppelin)

Introduction to SEAL | samczsun

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

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

2024