Lab Cryptography

This course is listed in Aachen Campus as Lab Cryptography, in Bonn Basis as MA-INF 1316 Lab Cryptography.

Contents

A lab on cryptography shall carry one topic to a greater depth than ever possible in a course or seminar.

The covered area is about security reductions, theoretical and automated.

Topics

• Antonia Herschel. Inspection of the IPsec security proof.
  Lab-Report (pending).
• Jakob Nussbaumer. Cryptographic Game-style language in EasyCrypt.
  Lab-Report (PDF).
  Talk at Crypto Day 29, 6/7 September 2018.DOI 20.500.12116/18248.
• Eike Stadtländer. Automatic Security Analysis in the Symbolic Model using Tamarin-Prover.
  Lab-Report (PDF).
  Talk at Crypto Day 29, 6/7 September 2018. DOI 20.500.12116/18247.

Presentations are held in Seminar Advanced Topics in Cryptography.

Lecture

Michael Nüsken

Time & Place

Send an email.

Prerequisites

Good knowledge of cryptography and fast understanding of mathematical and computer science topics is required.

Allocation

Lab.

• Master in Media Informatics: -
• Master in Computer Science at University of Bonn: MA-INF 1316. 9 CP.
  Students have to register this course with POS/BASIS.