Establishing Browser Security Guarantees through Formal Shim Verification

No ratings

Presented at USENIX 2012 by

Dongseok Jang

Zachary Tatlock

Sorin Lerner

N/A