@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}
}