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

Co-founder, Spearbit/Cantina

Community architect and Founder, Paper Aviation

VP Governance and Community, Polygon Labs

Co-founder, Morpho Labs

Jakob von Raumer

Security researcher, lindy_labs

Elliot Friedman

Founder, Solidity Labs

Senior core engineer, Stellar

Independent Security Researcher

Research Paradigm, Founder SEAL_Org

Software Engineer, Dedaub

Eugene Kolpakov

Software Engineer

Security Nomad, The Red Guild

Co-Founder, Sherlock

Michael Lewellen

Head of Solutions Architecture, OpenZeppelin

Security researcher, Cyfrin Audits

Engineering, ZircuitL2

Founder & Director, Sigma Prime

Luis Quispe Gonzales

Senior security Architect, Halborn

Wolfgang Grieskamp

Head of Move language and tools, Aptos Labs

Founder, Shield3, Wargames SEAL

Security Assessments Manager, Sigma Prime

Pamina Georgiou

Formal Verification Engineer, Certora

VP, Security & Trust, Fireblocks

Dmitry Zakharov

Pablo Sabbatella

OpSec & Blockchain Security researcher, SEAL

Senior smart contract auditor, MixBytes

Denisa Diaconescu

Researcher, Nethermind

Senior Social Scientist, BlockScience

Founder, Accretion

Andrew MacPherson

Principal Security Engineer, Privy.io

DeFi Security Researcher, OpenZeppelin

Thibault de Lacheze-Murel

Head of Security, Dfns

Co-founder, BGD Labs (Aave)

Principal Security Engineer, EigenLayer

COO & Co-Founder, TrustBytes

Alex Beregszaszi

Co-founder,‍Spearbit, cantinaxyz

Security Researcher, Consensys

Valerian Callens

Blockchain Security Auditor, Quantstamp

Founder & CEO, Gauntlet

Co-founder & CTO, Ironblocks

Founder, Secureum

Auditor & verification engineer,Runtime Verification

Nenad Vitorović

Developer Relations, Tenderly

Victor Petrenko

Senior Software Engineer, Lido

Yannis Smaragdakis

Co-founder, Dedaub

Independent Security Researcher

Web & Smart contract Bug Triager, Immunefi

Independent security researcher

Emilio Frangella

VP of Engineering, Aave Labs

Engineering director, Trail of bits

Jonatas Martines

Head Of Cyber Security, Euler

Peter Kacherginsky

Unit 0x team manager, Coinbase

Chief Scientist, Certora

Raoul Schaffranek

Formal Verification Engineer, Runtime Verification

Smart Contract Engineer, Uniswap

Software Engineer,FuzzLand

Blockchain Security Researcher, OpenZeppelin

Carlos Salort Sánchez

Head of AI, Forta Network

Jota Carpanelli

Head of Security Research, OpenZeppelin

2024

Share Your Knowledge

17-19.11.#25
Buenos Aires, Argentina