This is the material for X. Leroy's lectures in the MPRI 2-4 course (Sept 18th to Oct 16th). Click on the following links for the other lectures:
Slides for the lectures:
Exercises and some answers (for parts 1, 2, 3 and some of part 4).
Further reading: (optional)
Final exam, with answers, for year 2010-2011 (covers G. Castagna's and X. Leroy's parts of the 2-4 course).
Mid-term exam, with answers, for year 2011-2012 (covers X. Leroy's and D. Rémy's parts of the 2-4 course).