KIT | KIT-Bibliothek | Impressum | Datenschutz

Low-deterministic security for low-nondeterministic programs

Bischof, Simon; Breitner, Joachim; Graf, Jürgen; Hecker, Martin; Mohr, Martin; Snelting, Gregor



Zugehörige Institution(en) am KIT Lehrstuhl IPD Snelting (Lehrstuhl IPD Snelting)
Institut für Programmstrukturen und Datenorganisation (IPD)
Institut für Prozessdatenverarbeitung und Elektronik (IPE)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Jahr 2018
Sprache Englisch
Identifikator ISSN: 0926-227X, 1875-8924
KITopen ID: 1000084886
Erschienen in Journal of computer security
Band 26
Seiten 335–366
Projektinformation KASTEL_IoE (BMBF, 16KIS0346)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page