KIT | KIT-Bibliothek | Impressum | Datenschutz

Deduction soundness: prove one, get five for free

Böhl, Florian 1; Cortier, Véronique; Warinschi, Bogdan
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1145/2508859.2516711
Scopus
Zitationen: 9
Dimensions
Zitationen: 8
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2013
Sprache Englisch
Identifikator ISBN: 978-1-4503-2477-9
KITopen-ID: 1000069619
HGF-Programm 46.12.03 (POF II, 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 Association for Computing Machinery (ACM)
Seiten 1261-1272
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Nachgewiesen in Scopus
Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page