KIT | KIT-Bibliothek | Impressum
Originalveröffentlichung
DOI: 10.1145/2508859.2516711

Deduction soundness: prove one, get five for free

Böhl, Florian; Cortier, Véronique; Warinschi, Bogdan



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2013
Sprache Englisch
Identifikator ISBN: 978-1-4503-2477-9
KITopen ID: 1000069619
HGF-Programm 46.12.03; LK 01
Erschienen in CCS '13 Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, Berlin, Germany — November 04 - 08, 2013. Ed.: A.-R. Sadeghi
Verlag ACM, New York (NY)
Seiten 1261-1272
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page