“Automating Security Mediation Placement” by David H. King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, and Sanjit Seshia. In Proceedings of the 19th European Symposium on Programming (ESOP '10), 2010, pp. 327-344.

BibTeX entry:

@inproceedings{kjm+10,
   author = {David H. King and Susmit Jha and Divya Muthukumaran and Trent
	Jaeger and Somesh Jha and Sanjit Seshia},
   title = {Automating Security Mediation Placement},
   booktitle = {Proceedings of the 19th European Symposium on Programming
	(ESOP '10)},
   pages = {327-344},
   year = {2010}
}

(This webpage was created with bibtex2web.)

Back to Trent Jaeger's Publications.