Become a Sponsor

Archives

Preventing Unknown Attacks in DeFi

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.

SPEAKER

Mooly Sagiv

EVENT

EthCC[7]

Date

07/08/2024

CATEGORY

Security

TYPE

Talk

LANGUAGE

EN

Security videos

EthCC[5] thumbnail
Auctions, coins and security

EthCC[5]

EthCC[6] thumbnail
Auditing ink! with OpenZeppelin

EthCC[6]

EthCC[6] thumbnail
Auditing zkEVM and it's attack surfaces

EthCC[6]

EthCC[2] thumbnail
Automated Verification of Smart Contracts: Current State and Future Directions

EthCC[2]

EthCC[5] thumbnail
Automated Vulnerability Fixing in (DeFi) Smart Contracts

EthCC[5]

EthCC[4] thumbnail
Becoming the most secure crypto organisation

EthCC[4]

EthCC[2] thumbnail
Blockchain for Social Impact: Real-World Applications and Case Studies

EthCC[2]

EthCC[2] thumbnail
Blockchain for Supply Chain Management: Opportunities and Challenges

EthCC[2]

EthCC[5] thumbnail
Blockchain Security/Privacy: dont keep it too simple!

EthCC[5]

EthCC[2] thumbnail
Building Decentralized Cloud Computing with iExec

EthCC[2]