Verified Security for Browser Extensions

Nikhil Swamy Benjamin Livshits Arjun Guha Matthew Fredrikson

2010

Publication year

Microsoft Research

Venue

Peer-reviewed

Type

§ Abstract

Summary

Veriﬁed Security for Browser Extensions Nikhil Swamy Benjamin Livshits Arjun Guha Matthew Fredrikson Microsoft Research Microsoft Research Brown University U. Wisconsin, Madison Microsoft Research Technical Report MSR-TR-2010-157 1

Cite this paper — BibTeX

@TechReport{secure_extensions10,
  title = {Verified Security for Browser Extensions},
  author = {Nikhil Swamy and Benjamin Livshits and Arjun Guha and Matthew Fredrikson},
  year = "2010",
  month = nov,
  institution = "Microsoft Research",
  number = "MSR-TR-2010-157",
}