Preventing Unknown Attacks in DeFi

Name: Preventing Unknown Attacks in DeFi
Duration: 22 min 3 s
Description: Formal proofs of expected transaction behavior are examined as protection against unknown attacks, with examples from Morpho, EigenLayer and Safe.

ETHCC 7 · 8 Jul 2024 · 22:03

Formal proofs of expected transaction behavior are examined as protection against unknown attacks, with examples from Morpho, EigenLayer and Safe.