VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts

Name: VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
Uploaded: 2020-01-01
Duration: 16 min 54 s
Description: VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts — a 2020 IEEE Security & Privacy 2020 security conference talk on crypto (16:54 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2020 · 2020 · 16:54

▶

VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts — a 2020 IEEE Security & Privacy 2020 security conference talk on crypto (16:54 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive