Low-deterministic security for low-nondeterministic programs
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) Institut für Prozessdatenverarbeitung und Elektronik (IPE) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) Lehrstuhl IPD Snelting (Lehrstuhl IPD Snelting) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2018 |
| Sprache | Englisch |
| Identifikator | ISSN: 0926-227X, 1875-8924 KITopen-ID: 1000084886 |
| HGF-Programm | 37.01.03 (POF III, LK 01) Batteries in Application |
| Erschienen in | Journal of computer security |
| Verlag | IOS Press |
| Band | 26 |
| Seiten | 335–366 |
| Projektinformation | KASTEL_IoE (BMBF, 16KIS0346) |
| Nachgewiesen in | Dimensions Scopus |