Enseignement 2017/2018

Vous trouverez ici une liste des enseignements que j'ai donnés en 2017/2018, avec le matériel associé. Il s'agit d'une copie brutale: signalez-moi si quelquechose manque ou ne fonctionne pas. Retour vers ma page d'accueil.

M2 : crypto protocols, formal and computational proofs

I'm doing the first half of MPRI 2-30, dealing with protocol verification in the formal/symbolic model. Slides:

And here is the exam I gave.

M1 : projet génie logiciel

Par ici!

About LSV