IEEE Symposium on Security and Privacy·20 min
Engineers explore architecture and security mechanisms for Using Safety Properties to Generate Vulnerability Patches Zhen Huang.
safetypropertiegenerate+3
2 talks tagged with this topic.
Loading filters…
1–2 of 2 talks · loading…
IEEE Symposium on Security and Privacy·20 min
Engineers explore architecture and security mechanisms for Using Safety Properties to Generate Vulnerability Patches Zhen Huang.
IEEE Symposium on Security and Privacy·16 min
Industry experts analyze emerging threats surrounding video Zhen Xiang.