Use of memory-/type-/thread-safe programming languages
Bao, Kaibin
; Schneider, Oliver; Keller, Hubert
; Schneider, Oliver; Keller, Hubert| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik (IAI) Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 2016 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000072297 |
| HGF-Programm | 46.12.03 (POF III, LK 01) Data Security |
| Veranstaltung | IEEE Invitational Workshop to Create a Building Code for Building Code for Power System Software Security, University of Illinois at Urbana-Champaign, November 16-18, 2016 |
| Projektinformation | KASTEL_SVI (BMFTR, 16KIS0521) |
| Bemerkung zur Veröffentlichung | https://www.computer.org/cms/CYBSI/docs/BCPSSS.pdf |