Using Safety Properties to Generate Vulnerability Patches Zhen Huang

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

IEEE Symposium on Security and Privacy · 20:25

▶

Using Safety Properties to Generate Vulnerability Patches Zhen Huang — a IEEE Symposium on Security and Privacy 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