Materials for some courses I have taught are available below.
I am currently teaching the first half of the course Techniques in Cryptography and Cryptanalysis, a level 2 module in the MPRI Master program. Slides will be uploaded as the course progresses.
Part I | Introduction | Slides |
Part II | Zero-knowledge proofs and SNARKs | Slides |
Part III | Post-quantum crypto and lattices | Slides |
Extra | Primer on finite fields |
I am also teaching the tutorials for the course Initiation to Cryptology at ENS. Last year's exercises are available below (in French). Most of the material should be credited to its successive curators: Damien Vergnaud, Alain Passelègue, and Balthazar Bauer. Thanks to Jérémy Jean and contributors on https://www.iacr.org/authors/tikz/ for some nice pictures.
TD 1 | Un peu de cryptanalyse | Exercices | Correction |
TD 2 | Logarithme discret | Exercices | Correction |
TD 3 | Signatures | Exercices | |
TD 4 | Zero-knowledge | Exercices | Correction |
TD 5 | Cryptanalyse symétrique | Exercices | Correction |
TD 6 | Partage de secret | Exercices | Correction |
TD 7 | Couplages | Exercices | Correction |
TD 8 | Blockchain I | Exercices | Correction |
TD 9 | Blockchain II | Exercices | Correction |
TD 10 | Calcul multipartite | Exercices | Correction |
Below are exercises for some old courses I have taught (in French).
TD 0 | Introduction sur les formules | Exercices | Correction |
TD 1 | Théorie des ensembles | Exercices | Correction |
TD 2 | Nombres entiers, calcul propositionnel | Exercices | Correction |
TD 3 | Calcul propositionnel, sémantique | Exercices | Correction |
TD 4 | Révisions | Exercices | Correction |
TD 5 | Méthode des coupures | Exercices | Correction |
TD 6 | Calcul des prédicats | Exercices | Correction |
TD 7 | Révisions | Exercices | Correction |
Partiel | Sujet | Correction | |
TD 8 | Unification et résolution | Exercices | Correction |
TD 9 | Fonctions primitives récursives | Exercices | Correction |
TD 9bis | Fonctions primitives récursives 2 | Exercices | Correction |
Devoir sur table 3 | Sujet | Correction |
TD 1 | Ensembles et applications | Exercices | Correction |
TD 2 | Nombres complexes | Exercices | Correction |
TD 3 | Polynômes | Exercices | Correction |
Contrôle 1 | Sujet | Correction | |
TD 4 | Systèmes | Exercices | Correction |
TD 5 | Matrices | Exercices | Correction |
Contrôle 2 | Sujet | Correction | |
TD 6 | Espaces vectoriels | Exercices | Correction 1 |
TD 7 | Suites réelles | Exercices | Correction |
Partiel | Sujet | ||
TD 8 | Limites et continuité | Exercices | Correction |
TD 9 | Dérivation | Exercices | Correction |
Contrôle 3 | Sujet | Correction | |
TD 10 | Développements limités | Exercices |