Talents, Recherche
Coq, lauréat du Prix « science ouverte du logiciel libre de la recherche »
… le ministère de l’Enseignement supérieur, de la Recherche et de l’Innovation a remis pour la première année les Prix … libre de la recherche ». L'assistant de preuves Coq , que des équipes de l’Université Paris-Saclay ont contribué à … ont un niveau important de technicité (justification de la sécurité des protocoles cryptographiques). Un développement …Article publié le: mer 16/02/2022 - 08:49