Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

A Uniform Information-Flow-Security Benchmark Suite for Source Code and Bytecode

Reviewed Paper In Proceedings
Author(s):Tobias Hamann, Mihai Herda, Heiko Mantel, Martin Mohr, David Schneider, and Markus Tasch
In:23rd Nordic Conference on Secure IT Systems (NordSec 2018)
Year:2018

BibTeX

@InProceedings{ifsec,
  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   = {23rd Nordic Conference on Secure {IT} Systems ({NordSec} 2018)},
  year        = {2018},
  month       = nov,
  venue       = {Oslo, Norway},
  eventdate   = {2018-11-28/2018-11-30}
}