@InProceedings{	  hamann.herda.ea:uniform,
  author	= {Tobias Hamann and Mihai Herda and Heiko Mantel and Martin
		  Mohr and David Schneider and Markus Tasch},
  title		= {A Uniform Information-Flow-Security Benchmark Suite for
		  Source Code and Bytecode},
  booktitle	= {Proceedings of the 23nd Nordic Conference on Secure IT
		  Systems (NordSec)},
  year		= 2018,
  pages		= {437-453},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2018/2018-NordSec-HamannHerdaMantelMohrSchneiderTasch-.pdf}
}