Symbolic Analysis of Cryptographic Protocols
Abstract:
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.
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Hochschulschrift |
| Jahr | 2014 |
| Sprache | Englisch |
| Identifikator | URN: urn:nbn:de:swb:90-429479 KITopen-ID: 1000042947 |
| Verlag | 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 |