KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.1007/978-3-030-03638-6_27

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

Hamann, T.; Herda, Mihai; Mantel, H.; Mohr, Martin; Schneider, D.; Tasch, M.



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2018
Sprache Englisch
Identifikator ISBN: 978-3-030-03637-9
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000088532
Erschienen in Secure IT Systems: 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28–30, 2018; Proceedings. Ed.: N. Gruschka
Veranstaltung 23rd Nordic Conference on Secure IT Systems (NordSec 2018), Oslo, Norwegen, 28.11.2018 – 30.11.2018
Verlag Springer Nature, Cham
Seiten 437-453
Serie Lecture notes in computer science ; 11252
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page