AbstractsComputer Science

Symbolic Analysis of Cryptographic Protocols

by Florian Böhl




Institution: Universität Karlsruhe
Department:
Year: 2014
Record ID: 1117700
Full text PDF: http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/3219858


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.