@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@InProceedings{king-esop10,
  author = 	 {Dave King and Susmit Jha and Divya Muthukumaran and Trent Jaeger and Somesh Jha and Sanjit A. Seshia},
  title = 	 {Automating Security Mediation Placement},
  booktitle = 	 {Proc. European Symposium on Programming (ESOP)},
  pages = 	 {327--344},
  year = 	 {2010},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  month = 	 {March},
  OPTnote = 	 {},
}