Fraser Brown, Deian Stefan, Dawson R. Engler. Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code. In Srdjan Capkun, Franziska Roesner, editors, 29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020. pages 199-216, USENIX Association, 2020. [doi]
Abstract is missing.