Technical Report: Flow-Sensitive, Context-Sensitive, and Object-sensitive Information Flow Control Based on Program Dependence Graphs

[hammer08TR]

Christian Hammer, Gregor Snelting, Flow-Sensitive, Context-Sensitive, and Object-sensitive Information Flow Control Based on Program Dependence Graphs, Fakultät für Informatik, Universität Karlsruhe (TH), Germany, Technical Report, Nr. 2008-16, November 2008.

Download

[Link]

BibTeX

@techreport{hammer08TR,
  title = {Flow-Sensitive, Context-Sensitive, and Object-sensitive Information
 Flow Control Based on Program Dependence Graphs},
  year = {2008},
  month = nov,
  number = {2008-16},
  author = {Christian Hammer and Gregor Snelting},
  institution = {Fakult{\"a}t f{\"u}r Informatik, Universit{\"a}t Karlsruhe (TH), Germany},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/574047},
}

Authors at the institute

Department Head
Prof. Gregor Snelting

Former Staff Member
Prof. Dr.-Ing. Christian Hammer

Projects

Project

VALSOFT/Joana