2011 IEEE Symposium on Security and Privacy (2011)
Oakland, California USA
May 22, 2011 to May 25, 2011
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SP.2011.36
security, verification, type system, policy languages, web browsers, extensions
B. Livshits, M. Fredrikson, N. Swamy and A. Guha, "Verified Security for Browser Extensions," 2011 IEEE Symposium on Security and Privacy(SP), Oakland, California USA, 2011, pp. 115-130.