HOME | DEUTSCH | IMPRESSUM | KIT

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

Authors at the institute

Scientific Staff
Simon Bischof

Projects

Project
IFC for Mobile Components
VALSOFT/Joana