par Lafitte, Frédéric Cliquez pour télécharger la liste de publications de l'auteur; Nakahara Jr., Jorge; Van Heule, Dirk D.
Référence Journal of Satisfiability, Boolean Modeling and Computation, 9, 1, (page 1-25)
Publication Publié, 2014
Article révisé par les pairs
Titre :
  • Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages
Auteur : Lafitte, Frédéric ; Nakahara Jr., Jorge ; Van Heule, Dirk D.
Informations sur la publication : Journal of Satisfiability, Boolean Modeling and Computation, 9, 1, (page 1-25)
Statut de publication : Publié, 2014
Sujet CREF : Informatique mathématique
Langue :
  • Anglais
Identificateurs : urn:issn:1574-0617