Julian Traut

Two- and Multi-Party Protocols

Abstract

After a short introduction we will present and discuss various protocols taken from [MOV96, GB01, Pfl96] and thereby introduce different approaches and techniques con- cerning cryptographic protocols. In the second part we will then outline a proof for the ability to construct secure protocols for any given functionality, as proposed in [Gol04].