EthCC/EthCC2024

Preventing Unknown Attacks in DeFi

Mon, Jul 8, 2024, 02:58 PM · 22:03

We describe how Morpho, EigenLayer, and Safe secured their smart contracts against potentially unknown attacks by formally proving that transactions behave as expected, assuming that the attacker calls smart contracts arbitrarily.

Mooly Sagiv

Certora

Shmuel_Sagiv is a professor and chair of Computer Sciences at Tel-Aviv University and a CEO and co-founder of Certora. He is a leading researcher in large-scale (inter-procedural) program analysis and one of the key contributors to shape analysis. His fields of interest include programming languages, compilers, abstract interpretation, profiling, pointer analysis, shape analysis, interprocedural dataflow analysis, program slicing, and language-based programming.

3 talks →

Preventing Unknown Attacks in DeFi

More from EthCC2024

Better DevEx: How to build and use web3.js plugins🧩

5 Lessons Learned Building Autonomous Worlds

L2^2: multi-chain L2 settlement

Is Ethereum’s Issuance Policy Sustainable?

Exploring L2/L3 Orbit Chains - Why & How

Kakarot zkEVM: beyond ethereum compatibility

Gamers'Verdict on Tokenized Items: Insights from Sorare

Decentralized Trust as a Web3 Primitive

Stay hydrated: a new approach for state growth

Human-Readable Push Notifications on Ethereum

EasyRetroPGF.xyz - RetroPGF for any EVM Based Ecosystem

Building Trust: Ethereum Attestation Service