Cryptography and Cryptographic Protocols

Overview

Cryptography is one of the fundamental elements of information security. Many of the previously described research areas require specific cryptographic primitives and protocols.

For instance, Cloud Computing may greatly benefit from homorphic encryption and secure function evaluation. Privacy solutions may depend on unlinkable credentials and minimum-disclosure proofs. One major theoretical challenge in Secure Engineering is to extend the scope and faithfulness of current approaches for the testing and verification of software. Many of those approaches cannot deal with actual IT systems, but only with idealized and simplified versions. Often it is not known whether (or under which conditions) a proof or test of such an idealized and simplified system carries over to the real world.

More information

• Einführung in die Kryptographie; by Johannes Buchmann (5th ed); Springer-Verlag, Heidelberg, March 2010.
• Cryptography and Network Security: Principles and Practice (5th ed); by William Stallings; Prentice Hall, January 2010.
• The Reactive Simulatability (RSIM) Framework for Asynchronous Systems; by Michael Backes, Birgit Pfitzmann, Michael Waidner; Inf. Comput. 205(12): 1685-1720 (2007).