Bad Proofs in Formal Verification by Uri Kirstein | Devcon Bogotá

Formal verification can be a huge boon to smart contract security as it checks all possible execution paths. Unfortunately, even verified code can be faulty if the formal specification contains mistakes. "Bad" proofs can lead to false confidence in the code and premature deployment. This talk will discuss different types of "bad" proofs and how to avoid them.

Speaker(s): Uri Kirstein
Skill level: Intermediate
Track: Security
Keywords: Formal,Verification,Bugs

Devcon is the Ethereum conference for developers, researchers, thinkers, and makers.
Devcon 6 was held in Bogotá, Colombia on Oct 11 - 14, 2022.