HOME | DEUTSCH | IMPRESSUM | KIT

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

Authors at the institute

Department Head
Prof. Gregor Snelting
Scientific Staff
Simon Bischof
Former Staff Member
Dr. rer. nat. Joachim Breitner
Dr.-Ing. Jürgen Graf
Dipl.-Inf. Univ. Martin Hecker
Dipl.-Math. Dipl.-Inform. Martin Mohr

Projects

Project
IFC for Mobile Components
VALSOFT/Joana