Using Safety Properties to Generate Vulnerability Patches

IEEE Symposium on Security and Privacy via YouTube Direct link

Using Safety Properties to Generate Vulnerability Patches Zhen Huang

1

of 1

1 of 1

Using Safety Properties to Generate Vulnerability Patches Zhen Huang

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Using Safety Properties to Generate Vulnerability Patches