Checking Applications using Security APIs with JOANA
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 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 |