USENIX Security '20 - SmartVerif: Push the Limit of Automation Capability of Verifying Security...

Name: USENIX Security '20 - SmartVerif: Push the Limit of Automation Capability of Verifying Security...
Duration: 11 min 18 s
Description: USENIX Security '20 - SmartVerif: Push the Limit of Automation Capability of Verifying Security... — a USENIX security conference talk on crypto (11:18 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 11:18

▶

USENIX Security '20 - SmartVerif: Push the Limit of Automation Capability of Verifying Security... — a USENIX security conference talk on crypto (11:18 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive