KIT | KIT-Bibliothek | Impressum
Open Access Logo

Symbolic Universal Composability

Bohl, Florian; Unruh, Dominique



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-0-7695-5031-2
KITopen ID: 1000069801
HGF-Programm 46.12.03; LK 01
Erschienen in 2013 IEEE 26th Computer Security Foundations Symposium, CSF 2013; New Orleans, LA; United States; 26 June 2013 through 28 June 2013
Verlag IEEE, Piscataway (NJ)
Seiten 257–271
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page