Using Safety Properties to Generate Vulnerability Patches

Name: Using Safety Properties to Generate Vulnerability Patches
Uploaded: 2019-01-01
Duration: 20 min 25 s
Description: Using Safety Properties to Generate Vulnerability Patches — a 2019 IEEE Security & Privacy 2019 security conference talk on vuln-research (20:25 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2019 · 2019 · 20:25

▶

Using Safety Properties to Generate Vulnerability Patches — a 2019 IEEE Security & Privacy 2019 security conference talk on vuln-research (20:25 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

vuln-research

← Back to the Breach Arc Archive