Conference Papers: Combining Graph-Based and Deduction-Based Information-Flow Analysis

[beckert17hotspot]

Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning, Combining Graph-Based and Deduction-Based Information-Flow Analysis, Proceedings of the 5th Workshop on Hot Issues in Security Principles and Trust --- Hotspot 2017, pp. 6--25, 2017.

Download

[PDF]

[Link]

BibTeX

@inproceedings{beckert17hotspot,
  title = {Combining Graph-Based and Deduction-Based Information-Flow Analysis},
  booktitle = {Proceedings of the 5th Workshop on Hot Issues in Security Principles and Trust --- Hotspot 2017},
  year = {2017},
  pages = {6--25},
  author = {Bernhard Beckert and Simon Bischof and Mihai Herda and Michael Kirsten and Marko Kleine B{\"u}ning},
  url = {https://sec.informatik.uni-stuttgart.de/\_media/events/hotspot2017/proceedings.pdf},
}

Authors at the institute

Former Staff Member
M.Sc. Simon Bischof

Projects

Project

IFC for Mobile Components

VALSOFT/Joana