Apr 24 2009

Séminaire Marelle : Formal certification of ElGamal encryption: A gentle introduction to CertiCrypt

Désolé, cet article est seulement disponible en Anglais Américain.

Apr 15 2009

Séminaire Marelle : Finite Group Representation Theory with Coq

Désolé, cet article est seulement disponible en Anglais Américain.

Jan 30 2009

Séminaire Marelle : Formal certification of code-based cryptographic proofs

Désolé, cet article est seulement disponible en Anglais Américain.

Jan 09 2009

Séminaire Marelle : J.C. Filliatre: Queens on a Chessboard: an Exercise in Program Verification

Désolé, cet article est seulement disponible en Anglais Américain.

Dec 19 2008

Séminaire Marelle : Connecting Grobner bases programs with Coq to do proofs in algebra, geometry and arithmetics

Désolé, cet article est seulement disponible en Anglais Américain.

Dec 12 2008

Séminaire Marelle : Validation of Security Mechanisms for Embedded Systems

Désolé, cet article est seulement disponible en Anglais Américain.