VerX: Safety Verification of Smart Contracts

Name: VerX: Safety Verification of Smart Contracts
Uploaded: 2020-01-01
Duration: 15 min 23 s
Description: VerX: Safety Verification of Smart Contracts — a 2020 IEEE Security & Privacy 2020 security conference talk on crypto (15:23 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2020 · 2020 · 15:23

▶

VerX: Safety Verification of Smart Contracts — a 2020 IEEE Security & Privacy 2020 security conference talk on crypto (15:23 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive