Verified security for browser extensions. (2011)

by A Guha, M Fredrikson, B Livshits, N Swamy
Venue:In IEEE Symposium on Security and Privacy,