.svg)
DSS 2023
Second DeFi Security Summit
July 15th & 16th 2023, La Maison de la Chimie, 28 Rue Saint-Dominique, 75007 Paris, France
About
After an overwhelming response to the first DeFi Security Summit at Stanford, we’re thrilled to be back with the second iteration. This year we will convene at the historic La Maison de la Chimie in Paris, France for two full days directly preceding EthCC. Over the course of two days, we will hear from the world’s leading DeFi security researchers, auditors, and hackers on how they are working to stay one step ahead – and how you can too. We’ll explore some of the biggest exploits, and dive into practical ways that you can integrate tools and techniques to prevent these types of attacks and increase security coverage for your code. Since our last summit, we’ve continued to see novel DeFi hacks that have led to billions of dollars of losses. Preventing and mitigating these attacks is critical not only for protecting existing users, but for the success and growth of DeFi as a whole.
Spearkers
2023
Records
Teaching Smart Contract Security Through Damn Vulnerable DeFi v4 | Tincho (The Red Guild) | Speaker: Tincho
Eugene Pshenichny, Lido – Lido v2 upgrade from a security perspective
Emiliano Bonassi, DeFi Italy – The Big Red Button: How to Plan and Design for Security Events
Mitchell Amador, CEO of Immunefi – Security Incentives: From Six Figures to Billions in DeFi Bug Bounties
Samczsun, Research Partner at Paradigm, White-Hat Hacker – How Do You Even Write Secure Code Anyways
Emiliano Bonassi, Mitchell Amador, Samczsun – Discussion: White Hat Hacking
Daniel Von Fange, Senior Engineer, Origin Protocol – How to Understand a Smart Contract Hack
Christoph Michel, Security Researcher – Price Manipulation Exploits
Tina Qian, Blockchain Security Engineer, Coinbase – Smart Contract Governance
Daniel Von Fange, Tina Qian, Kurt Barry – Discussion: Security
Mudit Gupta, Chief Security Officer at Polygon – TWAP Oracle? No, Thanks.
Tarun Chitra, CEO and Co-Founder of Gauntlet – Probabilistic Liquidity Attacks in DeFi
Nurit Dor, VP Product at Certora – From High-Level DeFi Properties to Concrete Security Bugs
Mudit Gupta, Tarun Chitra, Nurit Dor – Discussion: Security
Jack Sanford, Co-Founder of Sherlock Protocol – The Unreasonable Effectiveness of Audit Contests
Christopher Whinfrey, Co-Founder at Hop Protocol – Securing a Cross-Chain Bridge
Ryan Zarick, Co-Founder and CTO of LayerZero Labs – Pre-Crime and Library Upgrades: The Future of Omnichain Security
Layne Haber, Research Lead, Connext – Breaking Down Bridge Security Models
Yoav Weiss, Security Fellow at the Ethereum Foundation – Breaking Bridges – An Incomplete Sampler of Bridges Hacks
Christopher Whinfrey, Ryan Zarick, Layne Haber, Yoav Weiss – Discussion – Bridges
Kostas Ferles, Principal Scientist, Veridise – V for Verification: A Unified Service for Secure Blockchains
Jesse Tasman, Head of product at Redefine – DeFirewall: Combatting Attacks and Putting an End to “Blind Signing” on DeFi Transactions. A live demo.
David Tarditi, VP of Engineering at CertiK – Tools For Supporting Manual Auditing At Scale
Denys Ivanov, Hacken COO – What Should the Scope of the Web3 Audit Look Like?
Sebastian Bürgel, Founder HOPR – Privacy and Security
Everett Hildenbrandt, CTO of Runtime Verification – Formal Verification of Foundry Tests
Joran Honig, Security Researcher & Product Lead, ConsenSys Diligence – Scribble in a Nutshell
Natalie Chin, Security Engineer, Trail of Bits – Building secure contracts: How to fuzz like a pro
Michael George, Director of Product at Certora – Formal Verification with the Certora Prover
Jonathan Alexander, CTO of Openzeppelin – Runtime Threat Detection and Automated Response
Nick Selby, Michael Lewellen, Mehdi Zerouali, Jan Gorzny, Gonçalo Sa, Anton Permenev, Neville Grech – Auditing Panel
Mehdi Zerouali, Co-Founder and Director of Sigma Prime – Favorite DeFi Vulnerabilities
Michael Lewellen, Head of Solutions Architecture, OpenZeppelin – Securely Scaling Decentralized Governance
Filipe Casal, Cryptography Analyst, Trail of Bits – Static Analysis for Zero-Knowledge Programming Languages
Anton Permenev, Founding Partner at ChainSecurity – Alpha for Auditors: The Vulnerabilities of Tomorrow
Gonçalo Sa, Co-Founder and Security Researcher, ConsenSys Diligence – Clear as Mud – How Compilers Look Like VMs
Jan Gorzny, Head of L2 Scaling at Quantstamp – Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks
Neville Grech, Security Engineer and Founder, Dedaub – Billion Dollar Bugs
Yuchen Lin, storm0x, Nicolás Venturo – Discussion
storm0x, Contributor in Security and Core Development, Yearn – Risk Management Approach to Security
Yuchen Lin, Lead Security Engineer, TrustToken – Searching Outside the Streetlight
Nicolás Venturo, Head of Smart Contracts at Balancer Labs – Towards Verifiably Secure Governance
Kurt Barry, Jared Flatow, Emilio Frangella, Mark Toda – Discussion
Mark Toda, Protocol Engineer, Uniswap Labs – TWAP Oracles After the Merge
Emilio Frangella, Head of Smart Contracts at AAVE BGD – The Butterfly effect: Small mistakes, massive consequences – and how to avoid them
Jared Flatow, VP of Engineering at Compound Labs – Secure by Design
Kurt Barry, Smart Contract Specialist, MakerDAO – MakerDAO Smart Contract Safety – When Billions are at Stak
First Annual DeFi Security Summit John & Mooly – Opening
.png)
