James gave a great talk on his paper Using Safety Properties to Generate Vulnerability Patches this past week at the 40th Oakland Security conference. You can watch the talk video and the short 1 minute summary online.
James gave a great talk on his paper Using Safety Properties to Generate Vulnerability Patches this past week at the 40th Oakland Security conference. You can watch the talk video and the short 1 minute summary online.