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

Co-founder, Spearbit/Cantina

Community architect and Founder, Paper Aviation

Founder, Accretion

Founder, Shield3, Wargames SEAL

Carlos Salort Sánchez

Head of AI, Forta Network

Pablo Sabbatella

OpSec & Blockchain Security researcher, SEAL

Eugene Kolpakov

Software Engineer

Smart Contract Engineer, Uniswap

DeFi Security Researcher, OpenZeppelin

Research Paradigm, Founder SEAL_Org

Security Nomad, The Red Guild

Pamina Georgiou

Formal Verification Engineer, Certora

VP, Security & Trust, Fireblocks

Dmitry Zakharov

Independent security researcher

Yannis Smaragdakis

Co-founder, Dedaub

Senior smart contract auditor, MixBytes

Engineering, ZircuitL2

Co-founder & CTO, Ironblocks

Senior core engineer, Stellar

Security Assessments Manager, Sigma Prime

VP Governance and Community, Polygon Labs

Software Engineer, Dedaub

Principal Security Engineer, EigenLayer

Nenad Vitorović

Developer Relations, Tenderly

Auditor & verification engineer,Runtime Verification

Founder & CEO, Gauntlet

Wolfgang Grieskamp

Head of Move language and tools, Aptos Labs

Michael Lewellen

Head of Solutions Architecture, OpenZeppelin

Security Researcher, Consensys

Co-Founder, Sherlock

Valerian Callens

Blockchain Security Auditor, Quantstamp

Software Engineer,FuzzLand

Alex Beregszaszi

Co-founder,‍Spearbit, cantinaxyz

Jota Carpanelli

Head of Security Research, OpenZeppelin

COO & Co-Founder, TrustBytes

Elliot Friedman

Founder, Solidity Labs

Head Of Cyber Security, Euler

Founder, Secureum

Co-founder, Morpho Labs

Senior Social Scientist, BlockScience

Independent Security Researcher

Co-founder, BGD Labs (Aave)

Raoul Schaffranek

Formal Verification Engineer, Runtime Verification

Chief Scientist, Certora

Founder & Director, Sigma Prime

Blockchain Security Researcher, OpenZeppelin

Thibault de Lacheze-Murel

Head of Security, Dfns

Independent Security Researcher

Luis Quispe Gonzales

Senior security Architect, Halborn

Andrew MacPherson

Principal Security Engineer, Privy.io

Emilio Frangella

VP of Engineering, Aave Labs

Security researcher, Cyfrin Audits

Victor Petrenko

Senior Software Engineer, Lido

Denisa Diaconescu

Researcher, Nethermind

Jakob von Raumer

Security researcher, lindy_labs

Engineering director, Trail of bits

Peter Kacherginsky

Unit 0x team manager, Coinbase

Jonatas Martines

2024

Share Your Knowledge

Nov 20-21, 2025
Buenos Aires, Argentina