SmartPulse: Automated Checking of Temporal Properties in Smart Contracts

Name: SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
Uploaded: 2021-01-01
Duration: 15 min 55 s
Description: SmartPulse: Automated Checking of Temporal Properties in Smart Contracts — a 2021 IEEE Security & Privacy 2021 security conference talk on crypto, web-appsec (15:55 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2021 · 2021 · 15:55

▶

SmartPulse: Automated Checking of Temporal Properties in Smart Contracts — a 2021 IEEE Security & Privacy 2021 security conference talk on crypto, web-appsec (15:55 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto web-appsec

← Back to the Breach Arc Archive