USENIX Security '15 - Under-Constrained Symbolic Execution: Correctness Checking for Real Code

Name: USENIX Security '15 - Under-Constrained Symbolic Execution: Correctness Checking for Real Code
Duration: 30 min 15 s
Description: USENIX Security '15 - Under-Constrained Symbolic Execution: Correctness Checking for Real Code — a USENIX Security '15 security conference talk on vuln-research (30:15 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX Security '15 · 30:15

▶

USENIX Security '15 - Under-Constrained Symbolic Execution: Correctness Checking for Real Code — a USENIX Security '15 security conference talk on vuln-research (30:15 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

vuln-research

← Back to the Breach Arc Archive