HengM

HengM's Stars

• azl397985856/leetcode

  LeetCode Solutions: A Record of My Problem Solving Journey.( leetcode题解，记录自己的leetcode解题之路。)

  Language:JavaScript54.9k1.3k2579.5k

• lib-pku/libpku

  贵校课程资料民间整理

  Language:TeX30.5k1.2k418.3k

• mohuangrui/ucasthesis

  LaTeX Thesis Template for the University of Chinese Academy of Sciences

  Language:TeX3.5k67430936

• stp/stp

  Simple Theorem Prover, an efficient SMT solver for bitvectors

  Language:C++53034312130

• zhuby12/MILP-basedModel

  MILP-based Differential Attack on Round-Reduced GIFT

  Language:Python19115

• biwenquan/MILP-aided-Cube-attack-like-cryptanalysis

  Language:Python17009

• fukai6/milp_speck

  Language:Python175618

• LiuGuozhen0/MILP-tool-for-cryptanalysis-of-block-ciphers

  This tool is able to construct the MILP model for some bit-oriented block ciphers. once you describe the block-cipher on it, you can do differential and linear cryptanalysis on it. It is also suitable to find impossible input and output, which helps you in impossible differential attack, and zero-correlation attack. The MILP models are based on Gurobi format. In the link (https://drive.google.com/open?id=1VkDEjezc8PJR6m0JA8kaizTNV4IjLT1W ) you can see how the tool works

  Language:Python16104

• Chunning-Zhou/MILPBasedSearchAlgorithmDiff

  Code for FSE 2020 - Improving the MILP-based Security Evaluation Algorithm against Differential-Linear Cryptanalysis Using A Divide-and-Conquer Approach

  Language:Python151314

• dnlcog/efficient_milp_modelings

  Code for the paper "Efficient MILP modelings for Sboxes and Linear Layers of SPN ciphers", ToSC 2020.

  Language:Python14105

• giftcipher/gift

  The GIFT Block Cipher

  Language:C++12213

• HugeChaos/Impossible-differentials-and-impossible-polytopic-transitions

  Language:Python11203

• theboxahaan/keccak-milp

  An experiment with the the Mixed Integer Linear Programming (MILP) Model for Keccak-p[400]

  Language:Python7101

• fukai6/NewAutomaticSearchTool

  New Automatic Search Tool for Impossible Differential and Zero-Correlation Linear Approximations

  Language:Python6203

• chensivvei/Differential-Analysis

  Automatically search the best differential characteristices of DES and PRESENT cipher by Matisui's method.

  Language:Objective-C4002

• hadipourh/CRAFT-Integral-Distinguisher

  Using an MILP method to find integral distinguisher based on division property for CRAFT

  Language:Python4201

• hadipourh/MIBS-Integral-Cryptanalysis-Basd-on-Division-Property

  Applying the MILP method to search bit-based integral distinguishers and degree estimation of the round function of MIBS block cipher, using division property.

  Language:Python4101

• hadipourh/mpt

  Integral Analysis Based on Monomial Prediction

  Language:Python3301

• mhgharieb/Speed_up_MILP_with_Matsui

  Language:Python3001

• YunwenL/Boomerang_gift

  Related-Key Boomerang Attacks on GIFT with Automated Trail Search Including BCT Effect

  Language:C++3001

• YunwenL/Rotational-cryptanalysis-from-a-differential-linear-perspective

  Language:C++3204

• dtykira/PRESENTSearch

  Matsui方法搜索PRESENT的差分路径

  Language:C++1202

• Luomin1993/PPSH-41

  C++ for Computational Commutative Algebra(F2-Polynomial)

  Language:C++1300