Stage de M2 du Master Parisien de Recherche en Informatique
Conception d'un langage pour les réductions cryptographiques
Mars - Août 2009, SGDN-ANSSI; encadré par Mathieu Baudet
Ce rapport présente les travaux réalisés durant mon stage de M2.Ce document a évolué depuis la soutenance et devrait continuer à évoluer dans les mois à venir.
Rapport : DVI ,
PDF
slides (updated): PDF
Retour