HOME | ENGLISH | IMPRESSUM | KIT

Konferenzartikel: 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

Institutsinterne Autoren

Wissenschaftliche Mitarbeiter
Simon Bischof

Projekte

Projekt
IFC for Mobile Components
VALSOFT/Joana