Course content

The course will be given every second year, on demand, next time spring 2011. The course will study mechanisms and properties of cryptographic protocols that establish and maintain security properties of information exchange in two-party and multiparty settings within ambient open communications networks. More complex requirements beyond basic communication secrecy and authenticity are identified in e-commerce, banking services, health informatics, digital payments and credentials, auctions, voting. The course will give models and classes of attack; computational classes, parameter and key establishment protocols; authentication protocols; commitment protocols; zero-knowledge techniques; consensus/multiparty computations; privacy-preserving protocols, and formal specification and reasoning.

Learning outcome

To acquire an overview and understanding of the problems, definitions, techniques and principles of cryptographic protocols, and the ability to apply this knowledge to existing and new constructions. To have knowledge of some typical applications of cryptographic protocols in networked systems.

Learning methods and activities

Lectures, colloquiums, assignments and self-study.
Grading is based on an individual paper (40%) and oral examination (60%). The topic of the paper is selected by the student in cooperation with the professor. The paper must be submitted and approved prior to oral examination.

Compulsory assignments

• Written paper assignment

Recommended previous knowledge

Prerequisits for the course can be found in TTM4105, TTM4135, TTM4705, TMA4155, TMA4160, TMA4150, TTT4125.

Course materials

Established at the beginning of the course.