CVL from ERC20 to Read Only Reentrancy
Formal Verification for smart contracts has never realized its potential adoption due to prevalent misconceptions: it is hard to use, it is only viable on trivial systems, and it cannot be used as a security tool. We show how our specification language, CVL, breaks those myths.
SPEAKER
Ghila Castelnuovo
EVENT
EthCC[6]
Date
09/14/2023
CATEGORY
Security
TYPE
Talk
LANGUAGE
EN
Security videos