“Effective Blame for Information-Flow Violations” by David H. King, Trent Jaeger, Somesh Jha, and Sanjit Seshia. In Proceedings of the 17^th ACM SIGSOFT Foundations of Software Engineering, Nov. 2008.

BibTeX entry:

@inproceedings{kjj+08,
   author = {David H. King and Trent Jaeger and Somesh Jha and Sanjit Seshia},
   title = {Effective Blame for Information-Flow Violations},
   booktitle = {Proceedings of the {\it 17^{th}} ACM SIGSOFT Foundations
	of Software Engineering},
   month = nov,
   year = {2008}
}

(This webpage was created with bibtex2web.)

Back to Trent Jaeger's Publications.