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]
@inproceedings{BrownSE20,
title = {Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code},
author = {Fraser Brown and Deian Stefan and Dawson R. Engler},
year = {2020},
url = {https://www.usenix.org/conference/usenixsecurity20/presentation/brown},
researchr = {https://researchr.org/publication/BrownSE20},
cites = {0},
citedby = {0},
pages = {199-216},
booktitle = {29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020},
editor = {Srdjan Capkun and Franziska Roesner},
publisher = {USENIX Association},
isbn = {978-1-939133-17-5},
}