Using Safety Properties to Generate Vulnerability Patches

2 years ago
2

IEEE Security and Privacy 2019 Hacking conference
#hacking, #hackers, #infosec, #opsec, #IT, #security

Loading comments...