par Lafitte, Frédéric ;Nakahara Jr., Jorge;Van Heule, Dirk
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
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