USENIX Security '15 - Using Formal Methods to Eliminate Exploitable Bugs

Name: USENIX Security '15 - Using Formal Methods to Eliminate Exploitable Bugs
Duration: 1 h 12 min 53 s
Description: USENIX Security '15 - Using Formal Methods to Eliminate Exploitable Bugs — a USENIX Security '15 security conference talk on exploit-dev (1:12:53 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX Security '15 · 1:12:53

▶

USENIX Security '15 - Using Formal Methods to Eliminate Exploitable Bugs — a USENIX Security '15 security conference talk on exploit-dev (1:12:53 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

exploit-dev

← Back to the Breach Arc Archive