@inproceedings{brown:2020:sys,
  author    = {Fraser Brown and Deian Stefan and Dawson Engler},
  title     = {Sys: a Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code},
  booktitle = {USENIX Security Symposium},
  month     = {August},
  year      = {2020},
  publisher = {USENIX}
}