KIT | KIT-Bibliothek | Impressum | Datenschutz

Extending and Applying a Framework for the Cryptographic Verification of Java Programs

Küsters, Ralf; Scapin, Enrico; Truderung, Tomasz; Graf, Jürgen 1
1 Karlsruher Institut für Technologie (KIT)


Download
Originalveröffentlichung
DOI: 10.1007/978-3-642-54792-8_12
Scopus
Zitationen: 13
Dimensions
Zitationen: 9
Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2014
Sprache Englisch
Identifikator ISBN: 978-364254791-1
KITopen-ID: 1000069697
HGF-Programm 46.12.03 (POF II, LK 01)
Erschienen in Principles of Security and Trust, POST 2014, Part of ETAPS 2014, Grenoble, France, April 5-13, 2014
Verlag Springer-Verlag
Seiten 220–239
Serie LNCS 8424
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page