Effective Blame for Information-Flow Violations

Dave King, Trent Jaeger, Somesh Jha, and Sanjit A. Seshia. Effective Blame for Information-Flow Violations. In Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), pp. 250–260, ACM Press, November 2008.

Download

[pdf] 

Abstract

(unavailable)

BibTeX

@inproceedings{KJJS-fse08,
  author    = {Dave King and
               Trent Jaeger and
               Somesh Jha and
               Sanjit A. Seshia},
  title     = {Effective Blame for Information-Flow Violations},
  booktitle = {Proceedings of the 16th ACM SIGSOFT International Symposium
               on Foundations of Software Engineering (FSE)},
  year      = {2008},
  month = {November},
  pages     = {250--260},
  publisher = {ACM Press},
}