Encoding hash functions as a SAT problem
Résumé
no abstract
Communication Dans Un Congrès
Année : 2012
Gilles Dequen : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00846945
Soumis le : lundi 22 juillet 2013-11:56:27
Dernière modification le : vendredi 19 avril 2024-13:44:22
Citer
Gilles Dequen, Michaël Krajecki, Florian Legendre. Encoding hash functions as a SAT problem. ICTAI, 2012, Greece. pp.916--921, ⟨10.1109/ICTAI.2012.128⟩. ⟨hal-00846945⟩
Collections
48
Consultations
0
Téléchargements