USENIX Security '20 - ETHBMC: A Bounded Model Checker for Smart Contracts

Name: USENIX Security '20 - ETHBMC: A Bounded Model Checker for Smart Contracts
Duration: 12 min 12 s
Description: USENIX Security '20 - ETHBMC: A Bounded Model Checker for Smart Contracts — a USENIX security conference talk on crypto, vuln-research (12:12 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 12:12

▶

USENIX Security '20 - ETHBMC: A Bounded Model Checker for Smart Contracts — a USENIX security conference talk on crypto, vuln-research (12:12 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto vuln-research

← Back to the Breach Arc Archive