On Friday 30/01/2009, at 10h30, in room Fermat Jaune.
Speaker: Santiago Zanella Béguelin.
Title: Formal certification of code-based cryptographic proofs.
PDF: http://www-sop.inria.fr/members/Santiago.Zanella/Zanella.2009.POPL.pdf
Jan 30 2009
Séminaire Marelle : Formal certification of code-based cryptographic proofs
