@InProceedings{BeckertBischofEA2017,
author = {Bernhard Beckert and Simon Bischof and Mihai Herda and
Michael Kirsten and Marko {Kleine B\"{u}ning}},
title = {Combining Graph-Based and Deduction-Based Information-Flow
Analysis},
booktitle = {5th Workshop on Hot Issues in Security Principles and
Trust (HotSpot 2017),
affiliated with ETAPS 2017},
pages = {6--25},
year = {2017}
}