whitepaper-club icon indicating copy to clipboard operation
whitepaper-club copied to clipboard

Published 20 hours ago • verified publisher icon Finhaven

ZEUS : Analyzing Safety of Smart Contracts

Open expede opened this issue 6 years ago • 0 comments

Why This is Interesting

Distinguishes correctness vs fairness. Description of verification approach (and prior art) and their system semantics. Large-scale analysis of existing contracts on Ethereum and Fabric.

Link to Paper(s)

Additional Resources (optional)

expede avatar Mar 12 '18 03:03 expede