Completed
Shortcomings of Existing Approaches
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
Automatically move to the next video in the Classroom when playback concludes
- 1 VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
- 2 Smart Contract • Digital contract written in programming languages
- 3 Pressing Issue: Ensuring Safety of Smart Contracts
- 4 Goal:Automatic Safety Verification of Smart Contracts
- 5 SmartMesh (CVE-2018-10376)
- 6 Shortcomings of Existing Approaches
- 7 VeriSmart: Exhaustive, Precise, Fully Automated Smart Contract Safety Verifier
- 8 Result Highlight
- 9 Key Feature of VeriSmart: Inference and Use of Transaction Invariant
- 10 Verification with Transaction Invariants
- 11 VeriSmart Algorithm
- 12 Experimental Setup
- 13 vs. Bug-finders
- 14 Incorrect CVE reports Found by VeriSmart
- 15 General Applicability of VeriSmart
- 16 Summary
