Watch / Bad Proofs in Formal Verification

Bad Proofs in Formal Verification

  • YouTube
  • Details

Bad Proofs in Formal Verification

Duration: 00:28:48

Speaker: Uri Kirstein

Type: Talk

Expertise: Intermediate

Event: Devcon 6

Date: Oct 2022

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.


About the speakers


Uri Kirstein

Uri is a Developer Advocate and Software Developer at Certora. Uri fell in love with blockchain in 2018 after doing a research project as an undergraduate student at the Technion. He joined Certora right after graduation.

  • Related