3 résultats

Visualiser le document
Monographie
CRYPTANALYSE DE LA FONCTION DE HACHAGE MD4 PAR LES ALGORITHMES DE SATISFAISABILITE
PARRAUD, Patrice, SLT CHAMPSEIX, Loïc|SLT DERIVE, Maximilien, VAN HEULE, Dirk, PARRAUD Patrice, SLT CHAMPSEIX Loïc|SLT DERIVE, Maximilien, VAN HEULE Dirk | Ecoles Militaires de Saint-Cyr Coëtquidan
Visualiser le document
Vidéo
CRYPTANALYSE DE FONCTIONS DE HACHAGE DES SOLVEURS-SAT
PARRAUD, Patrice, SLT NAMOR, Anthony|SLT SIONNEAU, Edouard, VAN HEULE, Dirk ; LAFITTE, Frédéric, PARRAUD Patrice, SLT NAMOR Anthony|SLT SIONNEAU, Edouard, VAN HEULE Dirk ; LAFITTE, Frédéric | Ecoles Militaires de Saint-Cyr Coëtquidan
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