KIT | KIT-Bibliothek | Impressum | Datenschutz

A Translation Layer for Information Flow Verification Systems: Bridging Type Systems with Theorem Provers

Mühlenberend, Felix

Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Hochschulschrift
Publikationsdatum 01.09.2023
Sprache Englisch
Identifikator KITopen-ID: 1000165079
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Verlag Karlsruher Institut für Technologie (KIT)
Umfang IX, 46 S.
Art der Arbeit Abschlussarbeit - Bachelor
Prüfungsdaten 01.09.2023
Referent/Betreuer Beckert, Bernhard
Lanzinger, Florian

Volltext §
DOI: 10.5445/IR/1000165079
Veröffentlicht am 30.11.2023
Seitenaufrufe: 116
seit 01.12.2023
Downloads: 58
seit 06.12.2023
Cover der Publikation
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page