Ghila Castelnuovo - CVL from ERC20 to Read Only Reentrancy
[EthCC] Livestream 6 · 15:47
Gila Castelnuovo, Director of Engineering at Certora, argues that formal verification of smart contracts doesn't need a PhD and goes well past toy properties. To make the case she shows three CVL (Certora Verification...