Verified security for browser extensions (2011)

by Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy
Venue:In IEEE Symposium on Security and Privacy