2 résultats

Visualiser le document
Article
Incroyable périple des machines à voter (L')
Ali Jehangir | 01/09/24
Visualiser le document
Monographie
Vérification de protocoles cryptographiques à l'aide de l'outil PROVERIF
PARRAUD, Patrice, SLT DELVALLET, Xavier, VAN HEULE, Dirk, PARRAUD Patrice, SLT DELVALLET Xavier, VAN HEULE Dirk | Ecoles Militaires de Saint-Cyr Coëtquidan