hukaisdu's repositories
cadical
CaDiCaL SAT Solver
Vundle.vim
Vundle, the plug-in manager for Vim
HDL
Source Code for "Revisiting Higher-Order Differential-Linear Attacks from an Algebraic Perspective"
SearchForID
Search all IDs
gitfolio
:octocat: personal website + blog for every github user
massive_superpoly_recovery
The codes and recovered superpolies for the paper "Massive Superpoly Recovery with Nested Monomial Predictions"
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
trivium
codes for attacking trivium
MonomialPrediction
Source codes for paper "An Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independent Sums" accepted by ASIACRYPT 2020
ArxPy
Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.
espresso-logic
A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.
MILPBasedSearchAlgorithmDiff
Code for FSE 2020 - Improving the MILP-based Security Evaluation Algorithm against Differential-Linear Cryptanalysis Using A Divide-and-Conquer Approach
Resume-Chinese-English-LaTeX
Personal resume by LaTeX
ImpossibleDifferential
Java code for finding impossible differentials of cipher structures