Verification State-space Reduction through Restricted Parsing Environments

LangSec 2015 (May 21, 2015) · 2015 · 33:50

▶

Verification State-space Reduction through Restricted Parsing Environments — a 2015 LangSec 2015 (May 21, 2015) security conference talk on vuln-research (33:50 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube
vuln-research

← Back to the Breach Arc Archive