Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity

Name: Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity
Uploaded: 2020-01-01
Duration: 16 min 18 s
Description: Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity — a 2020 IEEE Security & Privacy 2020 security conference talk on crypto (16:18 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2020 · 2020 · 16:18

▶

Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity — a 2020 IEEE Security & Privacy 2020 security conference talk on crypto (16:18 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive