First Annual DeFi Security Summit

Saturday

08:30am-09:00am John & Mooly – Opening

Session 1:

DeFi Protocols, Moderator: Zaki Manian, Co-Founder of Iqlusion

09:01am-09:20am Kurt Barry, Smart Contract Specialist, MakerDao – Maker’s safety and security practices

09:21am-09:40am Jared Flatow, VP of Engineering at Compound Labs – Secure by Design

09:41am-10:00am Emilio Frangella, Head of Smart Contracts at AAVE BGD – The butterfly effect – How simple oversights turn into smart contract nightmares

10:01am-10:20am Mark Toda, Uniswap – TWAP Oracles After the Merge

10:21am-10:35pm Kurt Barry, Jared Flatow, Emilio Frangella, Mark Toda – Discussion

10:36am-10:50am Coffee Break

Session 2:

DeFi Protocols 2 and Discussion, Moderator: Emilio Frangella, Head of Smart Contracts at AAVE BGD

10:50am-11:10am Nicolás Venturo, Head of Smart Contracts at Balancer Labs – Towards Verifiably Secure Governance

11:10am-11:30am Yuchen Lin, Lead Security Engineer, TrustToken – Searching Outside the Streetlight: Capture-Recapture Estimators for DeFi Security Issues

11:31am-11:50am storm0x, Yearn – yearn risk management approach to security

11:50am-12:05pm Yuchen Lin, storm0x, Nicolás Venturo – Discussion

12:05pm-1:05pm Lunch

 Session 3:

Auditors Part 1, Moderator: Jared Flatow, VP of Engineering at Compound Labs

1:05pm-1:25pm Neville Grech, Security Engineer and Founder, Dedaub – Billion dollar bugs

1:26pm-1:45pm Richard Ma, CEO of Quantstamp – Flash Loans in the Wild: An Analysis of Attacks & Possible Mitigations

1:46pm-2:05pm Gonçalo Sa, Co-Founder and Security Researcher, Consensys Diligence – Clear as mud – How compilers look like VMs

2:06pm-2:25pm Anton Permenev, Founding Partner at ChainSecurity – Alpha for auditors: The vulnerabilities of tomorrow

2:26pm-2:45pm Coffee Break

Session 4:

Auditors Part 2 and discussion,Moderator: Mudit Gupta

2:46pm-3:05pm Filipe Casal, Cryptography Analyst, Trail of Bits – A profile of causes for early bug death

3:06pm-3:25pm Michael Lewellen, Head of Solutions Architecture, OpenZeppelin – Securely scaling decentralized governance

3:26pm-3:45pm Mehdi Zerouali, Co-Founder and Director of Sigma Prime – Favorite DeFi vulnerabilities

3:46pm-4:05pm Filipe Casal, Michael Lewellen, Mehdi Zerouali, Richard Ma, Gonçalo Sa, Anton Permenev – Discussion on Auditing

4:06pm-4:20pm Coffee Break

Session 5:

Bridges, Moderator: Mudit Gupta

4:21pm-4:40pm Christopher Whinfrey, Co-Founder at Hop Protocol – Cross-chain security

4:41pm-5:00pm Ryan Zarick – Co-Founder and CTO of LayerZero Labs – Pre-Crime: the future of omnichain security

5:01pm-5:20pm Arjun Bhuptani –  Founder of Connext: Breaking down bridge security models

5:21pm-5:40pm Christopher Whinfrey, Ryan Zarick, Arjun Bhuptani – Discussion – Bridges

5:41pm-6:00pm Break

Session 6:

Tools and Live Demos, Moderator: Kostas Ferles, Principal Scientist, Veridise  
Food and drinks being served

6:01-6:05 Jonathan Alexander, CTO of Openzeppelin – Runtime threat detection and automated response

6:06pm-6:10pm Michael George, a director of product at Certora – Preventing billion dollar coding mistakes with formal verification

6:11pm-6:15pm Nick Selby, VP of Assurance Practice, Trail of Bits – Overview on tools and demo – Slither, Echidna, Manticore, It-Depends

6:16pm-6:20pm Joran Honig, Security Researcher & Product Lead, ConsenSys Diligence – Scribble

6:21pm-6:25pm Georgios Konstantopoulous, CTO of Paradigm – Foundry, a blazing-fast, portable and modular toolkit for Ethereum application development, written in Rust

6:26pm-6:30pm Everett Hildenbrandt, CTO of Runtime Verification – Formal verification of Foundry tests

 Session 7:

6:31pm-8:00pm Tool workshops Forta, Certora, Consys, Runtime Verification, Foundry, Echidna, Slither, Manticore