KIT | KIT-Bibliothek | Impressum
Open Access Logo
Originalveröffentlichung
DOI: 10.1007/978-3-642-54792-8_12

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

Küsters, Ralf; Scapin, Enrico; Truderung, Tomasz; Graf, Jürgen



Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2014
Sprache Englisch
Identifikator ISBN: 978-364254791-1
KITopen ID: 1000069697
HGF-Programm 46.12.03; LK 01
Erschienen in Principles of Security and Trust, POST 2014, Part of ETAPS 2014, Grenoble, France, April 5-13, 2014
Verlag Springer, Heidelberg
Seiten 220–239
Serie LNCS 8424
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page