@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",
}