Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code presented at 29thUSENIXSecuritySymposium 2020

by Dawson Engler, Deian Stefan, Fraser Brown,

URL : https://2459d6dc103cb5933875-c0245c5c937c5dedcca3f1764ecc9b2f.ssl.cf2.rackcdn.com/sec20/videos/0812/s3_software_security_and_verification/2_sec20winter-paper722-presentation-video.mp4

Summary : N/A