library of Fine / Browser Extensions Arjun Guha Matthew Fredrikson Brown University University of Wisconsin / gallery Verifier Visualization / /
IndustryTerm
security-sensitive web content / web content / visualization tools / arbitrary web hosts / web apps / web browsers / arbitrary network / policy visualization tool / extension model Internet Explorer / extension hosting services / software checking / arbitrary web pages / online dictionary / visualization tool / Internet Explorer / software systems / software distribution / /
OperatingSystem
Android / Microsoft Windows / Chrome OS / /
Organization
Brown University University / University of Wisconsin / Madison / /
Person
B. Firefox / Benjamin Livshits Nikhil Swamy / /
Position
advocate / Trusts curator / extension model / model for browser extensions / model for extensions / manager Short URL expander Typography Sends RSS feed links / extension model Internet Explorer / curator / Name Behavior Google Reader client Gmail Checker Plus Bookmarking Dictionary lookup JavaScript toolbox Password manager / code Fine Curator / interpreter / B. Firefox’s extension model / /
Product
FacePalm / /
ProgrammingLanguage
XML / Datalog / Java / ML / JavaScript / /
ProvinceOrState
Wisconsin / /
Technology
Java / API / http / DOM / Android / mobile device / HTML / operating systems / /
Verified Security for Browser Extensions Arjun Guha Matthew Fredrikson Brown University