Similar repositories to mhgharieb/Speed_up_MILP_with_Matsui:

• mhgharieb/Speed_up_MILP_with_Matsui github similar
• hadipourh/CRAFT-Integral-Distinguisher github similar
• hadipourh/MIBS-Integral-Cryptanalysis-Basd-on-Division-Property github similar
• chensivvei/DegreeEvaluationByDivisionProperty github similar
• fukai6/NewAutomaticSearchTool github similar
• LiuGuozhen0/MILP-tool-for-cryptanalysis-of-block-ciphers github similar
• mhgharieb/MILP_DivisionProprerty_LinearLayer github similar
• mhgharieb/GurobiOnCryptanalysis github similar
• biwenquan/MILP-aided-Cube-attack-like-cryptanalysis github similar
• Chunning-Zhou/MILPBasedSearchAlgorithmDiff github similar
• HugeChaos/Impossible-differentials-and-impossible-polytopic-transitions github similar
• CryptoExperts/AC21-divprop-convexity github similar
• dnlcog/efficient_milp_modelings github similar
• ShibamCrS/AutomaticSearchforBBDP github similar
• zhuby12/MILP-basedModel github similar
• cryptolu/sparkle github similar
• Ko-/sboxoptimization github similar
• stp/stp github similar
• msoos/cryptominisat github similar