KIT | KIT-Bibliothek | Impressum | Datenschutz

Checking Applications using Security APIs with JOANA

Graf, Jürgen; Hecker, Martin; Mohr, Martin; Gregor Snelting



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Vortrag
Jahr 2015
Sprache Englisch
Identifikator KITopen-ID: 1000051482
Veranstaltung 8th International Workshop on Analysis of Security APIs, Satellite workshop of IEEE CSF, Verona, Italy, July 13th 2015
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page