DSS 2022
First Annual DeFi Security Summit
Paul & Mildred Berg Hall, Stanford, August 27-28










About
DeFi is an emerging suite of applications for decentralized asset management over blockchain technology. DeFi is becoming a major economic vehicle in modern society. The Ethereum blockchain alone already manages more than 235 billion USD worth of assets. One of the basic principles behind DeFis is that the code is law and computer programs called smart contracts that run on the blockchain dictate the conditions and the effects for asset transactions. This groundbreaking idea has many desirable benefits that originate from trust-minimizing and immutable aspects of decentralized public blockchains. However, vulnerabilities in smart contracts and in their applications may be exploited to steal or deny access to assets managed by them. Mitigation and prevention of such damages are challenging and require new software development and security design methodologies. Hundreds of millions in USD value have already been lost due to vulnerabilities in smart contracts. Therefore, smart contract security is a significant concern for DeFi applications.
Records
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?
Emiliano Bonassi, DeFi Italy – The Big Red Button: How to Plan and Design for Security Events
Emiliano Bonassi, Mitchell Amador, Samczsun – Discussion: White Hat Hacking
Emilio Frangella, Head of Smart Contracts at AAVE BGD – The Butterfly effect: Small mistakes, massive consequences – and how to avoid them
Everett Hildenbrandt, CTO of Runtime Verification – Formal Verification of Foundry Tests
Speakers

Founder & CEO, Gauntlet

Founder & Director, Sigma Prime

Founder at HOPR

CEO and Co-Founder of Gauntlet

VP of Engineering, Aave Labs

CEO, Immunefi

CISO, Polygon

Co-Founder of DeFi Italy

Security Researcher,Fixed Point Solutions LLC

Founding Partner at ChainSecurity

Security Researcher, Consensys
2022