@InProceedings{ibex-livshits11,
  title =        "Verified Security for Browser Extensions",
  author =       "Arjun Guha and Matthew Fredrikson and Benjamin
                 Livshits and Nikhil Swamy",
  year =         "2011",
  month =        may,
  booktitle =    "{IEEE} Symposium on Security and Privacy",
}