Seminar Advanced Topics in Cryptography

This course is listed in Aachen Campus as Seminar Advanced Topics in Cryptography, in Bonn Basis as MA-INF 1209 - Seminar Advanced Topics in Cryptography.

Contents

The topic is:

Current research front

Each participiant suggests three papers from ePrint, one of which is chosen. You then present your chosen paper in a session together with necessary background and deliver a report.

Alternatively, systems from the NIST Post-Quantum Cryptography standardisation may be presented.

Lecture

Michael Nüsken

Time & Place

• Thursday, 10⁰⁰-12⁰⁰, b-it 2.122.

First meeting: Thursday, 12 April 2018.

The time may be adjusted.

Schedule

• 17.05.2018 Eike Stadtländer.
  Lab intro: Automatic Security Analyses of Network Protocols with Tamarin-Prover.
  PDF.
  Talk slides.
• 14.06.2018 Antonia Herschel.
  Lab intro: Analysis of security reductions for IPsec.
• 21.06.2018 Selin Sezer.
  Elizabeth A. Quaglia & Ben Smyth (2018). Authentication with weaker trust assumptions for voting systems. ePrint 2018/222.
  Talk slides.
• 28.06.2018 Tom Kneiphof.
  Christopher Carr, Anamaria Costache, Gareth T. Davies, Kristian Gjøsteen & Martin Strand (2018). Zero-Knowledge Proof of Decryption for FHE Ciphertexts. ePrint 2018/026.
  Talk slides.
• 05.07.2018 Jakob Nussbaumer.
  Final lab presentation: A gamehop for one primitive in Easycrypt.
  Easycrypt source code.
  Labreport (PDF).
• 12.07.2018 Eike Stadtländer.
  Final lab presentation.
  Talk slides.
  Labreport (PDF).
• 19.07.2018 Antonia Herschel.
  Final lab presentation.

Prerequisites

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

Allocation

2 SWS.

• Master in Media Informatics: Computer and Communication Technology.
  4 ECTS credits.
• Master in Computer Science at University of Bonn: MA-INF 1209.
  4 CP.
  Students have to register this course with POS/BASIS.