Verification State-space Reduction through Restricted Parsing Environments
▶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