@inproceedings {180207, author = {Dongseok Jang and Zachary Tatlock and Sorin Lerner}, title = {Establishing Browser Security Guarantees through Formal Shim Verification}, booktitle = {21st USENIX Security Symposium (USENIX Security 12)}, year = {2012}, isbn = {978-931971-95-9}, address = {Bellevue, WA}, pages = {113--128}, url = {https://www.usenix.org/conference/usenixsecurity12/technical-sessions/presentation/jang}, publisher = {USENIX Association}, month = aug }