Séminaire Marelle : Formal certification of ElGamal encryption: A gentle introduction to CertiCrypt
Séminaire Marelle : Integrating SAT solvers in Coq
May 06 2009
Désolé, cet article est seulement disponible en Anglais Américain.