First Annual DeFi Security Summit

Stanford California, January 22-23, 2022

Preceding SBC’22

First Annual DeFi Security Summit

Stanford California, January 22-23, 2022

Preceding SBC’22

DeFi is an emerging application for decentralized asset management over blockchain technology. DeFi is becoming a major economic vehicle in modern society. The Ethereum blockchain alone already stores more than 235 billion USD.

One of the basic principles behind DeFis is that the code is the law and computer programs called smart contracts dictate the conditions and the effects for asset transactions. This groundbreaking idea has many pleasant benefits. However, bugs in smart contracts and in their applications can be exploited to steal or deny access to assets. Mitigation and prevention of such damages are challenging and require new software development methodologies. Hundreds of millions in USD value have already been lost due to bugs in smart contracts. Therefore, code security is a major concern for DeFi. 

Confirmed Speakers

Kurt Barry, MakerDao

Emiliano Bonassi,  DeFi Italy

Tarun Chitra, Gauntlet

Nurit Dor, VP Product at Certora

Jared Flatow,VP of Engineering at Compound Labs

Emilio Frangella,  Head of smart contracts at Aave

Dan Guido,  Co-Founder & CEO of Trail of Bits

Mudit Gupta, Core Developer at Sushiswap | Security Researcher Sushiswap

Bart Jellema also called Boring Crypto

Michael Lewellen, Security Project Manager, OpenZeppelin

John Mardlin, Security Engineer at Optimism

Christoph Michel, Security Researcher

Sam S, Paradigm

Duncan Townsend, CTO and Security Researcher at Immunefi

Goncalo Sa, CoFounder and Security Researcher Consensys Diligence

Tentative Schedule (subject to change)

Saturday, Jan 22

9:00 Opening comments

9:30 DeFi protocol builders

12:30 Lunch

14:00 White and Black Hackers

16:00 Tools session and Birds of a Feather

18:00 Dinner on the Patio

20:00 5-minute madness

Sunday, Jan 23

10:00 …

19:00 Reception 

Steering Committee

  1. Mitchell Amador, Immunefi
  2. Kurt Barry, MakerDao
  3. Julien Bouteloup, Rekt
  4. Tarun Chitra, Gauntlet 
  5. Maria Christakis, MPI
  6. Isil Dillig, UT Austin
  7. Rajeev Gopalakrishna, Secureum
  8. Dan Guido,  Trails of bits
  9. Emin Gun Sirer, Cornell University, and Ava Labs
  10. John Mardlin., Optimism
  11. John C Mitchell, Co-Founder, Stanford University
  12. Sam S, Whitehacker and a security Researcher, Paradigm
  13. Gonçalo Sá, ConsenSys Diligence
  14. Mooly Sagiv, Co-Founder, Tel Aviv University and Certora
  15. Curtis Spenser, Electric Capital
  16. Kartik Talwar, General Partner ACapital

Register here

[forminator_form id=”101″]

Online Monthly Webinars first Wednesday 8-10:30 am PST Starting Nov 3, 2023

Date

Topic

Lecturers

Moderator

Nov 9, 2023

LiquidStaking

Dimitry Tsumak

Eugine Mamin

Drake Evans

January

Client Security

Geth, Nethermind, Besu,
SigmaP

Mudit

January 8, 2024

Cool Defi

Lido, Uniswap V4, Aave

 
 

Collaterals

Aave, Gearbox, 1inch, Euler, Silo

 
 

State Size

Nethermind

 
 

Wallets

Metamask, Safe, 1inch, Cubist, Foredefie, 

Yoav Weiss

 

NFTs

OpenSea, Blur, Astaria

 
 

Hacking

   
 

Auditing

 

Rajeev

 

Operational Security

 

Mudit

 

Fuzzers

Foundry, HardHat, Echidna, MythX

Chandra Nandi

 

Frontend security issues

   
 

Price manipulation attacks

   
 

View reentrancy

   
 

Static analysis

Trail of Bits, Chain security, Dedaub, Certora

 
 

Smart contract languages

Solidity, Vyper, Fei, Rust, Move

 
 

Bridges

LayerZero, Axlar

 
 

Layer2 security issues

   
 

Precompiled Code

   
 

Formal verification

Veridise, Nethermind, RV, Certora. Ottersec

 
 

MEV

   
 

Oracles

   
 

Object Capabilities (Access Control, etc)

Andrew Miller (UIUC), Mark Miller/Dean Tribble/Dan Connolly (Agoric)

 

You have Successfully Subscribed!