Using Safety Properties to Generate Vulnerability Patches Zhen Huang
Engineers explore architecture and security mechanisms for Using Safety Properties to Generate Vulnerability Patches Zhen Huang.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·20 min
Presenters detail vulnerability discovery and exploitation in Using Safety Properties to Generate Vulnerability Patches.
safetypropertiegenerate+3
IEEE Symposium on Security and Privacy·16 min
Security researchers examine technical aspects of Vulnerability Discovery for All: Experiences of Marginalization in Vulnerability Discovery.
vulnerability-discoveryvulnerabilitydiscovery+3
IEEE Symposium on Security and Privacy·16 min
Analysts investigate attack surfaces and defenses concerning Repairing DoS Vulnerability of Real-World Regexes.
repairingvulnerabilityreal-world+1