Exploring and applying smart contract formal verification approaches on the Ethereum platform

Name: Exploring and applying smart contract formal verification approaches on the Ethereum platform
Duration: 46 min 4 s
Description: Exploring and applying smart contract formal verification approaches on the Ethereum platform — a Positive Hack Days (PHDays) security conference talk on crypto (46:04 min). Watch the full video, indexed free on the Breach Arc Archive.

Positive Hack Days (PHDays) · 46:04

▶

Exploring and applying smart contract formal verification approaches on the Ethereum platform — a Positive Hack Days (PHDays) security conference talk on crypto (46:04 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive