Fiches de cours

Advanced cryptography

COM-501

Enseignant(s) :

Vaudenay Serge

Langue:

English

Summary

This course reviews some failure cases in public-key cryptography. It introduces some cryptanalysis techniques. It also presents fundamentals in cryptography such as interactive proofs. Finally, it presents some techniques to validate the security of cryptographic primitives.

Content

  1. Cryptographic security models: security notions for encryption and authentication, game reduction techniques
  2. Public-key cryptography: Factoring, RSA problem, discrete logarithm problem, attacks based on subgroups

  3. Interactive proofs: NP-completeness, interactive systems, zero-knowledge
  4. Conventional cryptography: differential and linear cryptanalysis, hypothesis testing, decorrelation
  5. Proof techniques: random oracles, leftover-hash lemma, Fujisaki-Okamoto transform

Keywords

cryptography, cryptanalysis, interactive proof, security proof

Learning Prerequisites

Required courses

Important concepts to start the course

Learning Outcomes

By the end of the course, the student must be able to:

Teaching methods

ex-cathedra

Expected student activities

Assessment methods

Mandatory continuous evaluation:

Final exam averaged (same weight) with the contiuous evaluation, but with final grade between final_exam-1 and final_exam+1.

Supervision

Office hours No
Assistants Yes
Forum No
Others Lecturers and assistants are available upon appointment.

Resources

Bibliography

Ressources en bibliothèque
Websites

Dans les plans d'études

Semaine de référence

 LuMaMeJeVe
8-9     
9-10     
10-11     
11-12     
12-13     
13-14     
14-15     
15-16     
16-17     
17-18     
18-19     
19-20     
20-21     
21-22     
En construction
 
      Cours
      Exercice, TP
      Projet, autre

légende

  • Semestre d'automne
  • Session d'hiver
  • Semestre de printemps
  • Session d'été
  • Cours en français
  • Cours en anglais
  • Cours en allemand