Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

Submitted by jasmine@usenix.org on June 24, 2020 - 5:10 pm
TitleSys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Publication TypeConference Paper
Year of Publication2020
AuthorsBrown F, Stefan D, Engler D
Conference Name29th USENIX Security Symposium (USENIX Security 20)
Date Published08/2020
PublisherUSENIX Association
ISBN Number978-1-939133-17-5
URLhttps://www.usenix.org/conference/usenixsecurity20/presentation/brown