1. Humans
  2. University of Toronto
Star 0
Month Quarter Year
#N/A #N/A #N/A
Title Event
Using Safety Properties to Generate Vulnerability Patches 40th IEEE Symposium on Security and Privacy
Talos: Neutralizing Vulnerabilities with Security Workarounds for Rapid Response 37th IEEE Symposium on Security and Privacy
Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices 36th IEEE Symposium on Security and Privacy