KIT | KIT-Bibliothek | Impressum | Datenschutz

Symbolic Analysis of Cryptographic Protocols

Böhl, Florian

We rely on the security properties of cryptographic protocols every day while browsing the Internet or withdrawing money from an ATM. However, many of the protocols we use today were standardized without a proof of security. Serious flaws in protocols restrict the level of security we can reach for applications. This thesis motivates why we should strive for proofs of security and provides a framework that makes using automated tools to conduct such proofs more feasible.

Open Access Logo

Volltext §
DOI: 10.5445/IR/1000042947
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Hochschulschrift
Jahr 2014
Sprache Englisch
Identifikator urn:nbn:de:swb:90-429479
KITopen-ID: 1000042947
Verlag KIT, Karlsruhe
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Theoretische Informatik (ITI)
Prüfungsdaten 03.06.2014
Referent/Betreuer Jun.-Prof. D. Hofheinz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page