Establishing Browser Security Guarantees through Formal Shim Verification presented at USENIX 2012

by Dongseok Jang, Zachary Tatlock, Sorin Lerner,

Summary : N/A