@inproceedings{shim, author = {Jang, Dongseok and Tatlock, Zachary and Lerner, Sorin}, title = {Establishing Browser Security Guarantees Through Formal Shim Verification}, booktitle = {Proceedings of the 21st USENIX Conference on Security Symposium}, series = {Security'12}, year = {2012}, url = {https://www.usenix.org/system/files/conference/usenixsecurity12/sec12-final217.pdf}, }