Dongseok Jang, Zachary Tatlock, Sorin Lerner. Establishing Browser Security Guarantees through Formal Shim Verification. In Tadayoshi Kohno, editor, Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012. pages 113-128, USENIX Association, 2012. [doi]
Abstract is missing.