Journal Article: Low-Deterministic Security For Low-Nondeterministic Programs

[bischof18rlsod]

Simon Bischof, Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting, Low-Deterministic Security For Low-Nondeterministic Programs, Journal of Computer Security, Vol. 26, pp. 335--366, 2018.

Download

[PDF]

[DOI]

BibTeX

@article{bischof18rlsod,
  title = {Low-Deterministic Security For Low-Nondeterministic Programs},
  year = {2018},
  volume = {26},
  pages = {335--366},
  journal = {Journal of Computer Security},
  author = {Simon Bischof and Joachim Breitner and J{\"u}rgen Graf and Martin Hecker and Martin Mohr and Gregor Snelting},
  doi = {10.3233/JCS-17984},
}

Authors at the institute

Department Head
Prof. Gregor Snelting

Former Staff Member
Dr. rer. nat. Joachim Breitner
Dr.-Ing. Jürgen Graf
Dr.-Ing. Martin Hecker
Dr.-Ing. Martin Mohr
M.Sc. Simon Bischof

Projects

Project

IFC for Mobile Components

VALSOFT/Joana