| Cours |
Date |
Cours / Lecture |
Enseignant |
Support de cours/Slides |
| 1 |
12/9/2011 |
General Introduction. Polynomial System Solving. Algebraic Cryptanalysis. |
JC Faugère |
 Slides |
| 2 |
19/9/2011 |
Introduction to Algebraic Cryptanalysis. IP |
L. Perret |
Slides |
| 3 |
3/10/2011 |
Ideal, Varietes definition of Gröbner Bases. Buchberger's Algorithm |
JC Faugère |
Slides |
| 4 |
10/10/2011 |
Functional Decomposition - Cryptanalysis of 2r-- schemes. |
L. Perret |
Slides |
| 5 |
17/10/2011 |
Gröbner bases properties. Characterizations of Gröbner Bases. Elimination. |
JC Faugère |
Slides |
| 6 |
24/10/2011 |
Buchberger's Criteria. Strategies. Quotient vector space. |
JC Faugère |
Slides |
| 7 |
31/10/2011 |
Quotient Space - FGLM |
JC Faugère |
Slides |
| 8 |
7/11/2011 |
Fast FGLM - Matrix Representation - Macaulay - Regular Sequences |
JC Faugère |
Slides |
| 9 |
14/11/2011 |
F4 Algorithm - Linear Algebra |
JC Faugère |
Slides |
| Partiel |
21/11/2011 |
Examen (Partiel). |
|
Exemple de sujets  et |
| 10 |
5/12/2011 |
F5 Criterion . Matrix-F5 algorithm.
Complexity results. Hilbert function. |
JC Faugère |
Slides |
| 11 |
12/12/2011 |
Overdetermined systems. Semi-Regular systems.
The Minrank Problem. |
JC Faugère |
Slides |
| 12 |
2/1/2012 |
Algebraic Aspects of Symmetric Ciphers |
L .Perret |
|
| 13 |
9/1/2012 |
Algebraic Analysis of McEliece's Cryptosystem |
L .Perret |
|
| 14 |
16/1/2012 |
Hardness of Posso (Polynomial Systems SOlving) |
L .Perret |
|
| 15 |
23/1/2012 |
Advanced Algebraic Cryptanalysis |
L .Perret |
|
| 16 |
6/2/2012 |
Complexity of Computing Grobner Basis of Bilinear Systems.
Solving systems in finite fields. Hybrid Method. |
JC Faugère |
Slides |
| E |
5/3/2011 |
Final Exam: March 5 (1h30) |
|
Choose one of the following article:  or |