@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},
}