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