KIT | KIT-Bibliothek | Impressum

A Framework for the Cryptographic Verification of Java-like Programs

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



Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2012
Sprache Englisch
Identifikator ISBN: 978-076954718-3
KITopen ID: 1000069698
HGF-Programm 46.12.03; LK 01
Erschienen in IEEE 25th Computer Security Foundations Symposium (CSF), 2012
Verlag IEEE Computer Society
Seiten 198-212
Projektinformation KASTEL I (BMBF, 01BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page