cube-and-conquer

There are 0 repository under cube-and-conquer topic.

• nahiyan / cryptanalysis

  A collection of tools to study the inversion or collision of truncated versions of MD4, MD5, SHA-256 with SAT solving using techniques such as Cube-and-Conquer, programmatic SAT, Dobbertin's Attack, and differential cryptanalysis.

  boolean-algebracadicalcdcl-solvercryptominisatcube-and-conquerglucosekissatlookahead-solvermaplesatmarchsat-solver
  Language:C++ 1