hukaisdu Goto Github PK

arxpy

Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.

ascon_6r_experiments

ascon_cube_distinguishers

boomerang

A New Method to Search for Boomerang Distinguishers: Improved Rectangle Attacks on SKINNY and CRAFT

cadical

CaDiCaL SAT Solver

csbook

espresso-logic

A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.

gitfolio

:octocat: personal website + blog for every github user

hdl

Source Code for "Revisiting Higher-Order Differential-Linear Attacks from an Algebraic Perspective"

hukaisdu.github.io

impossibledifferential

Java code for finding impossible differentials of cipher structures

kissat

lowerboundsalgdegree

massive_superpoly_recovery

The codes and recovered superpolies for the paper "Massive Superpoly Recovery with Nested Monomial Predictions"

milp-three-subset-wo-unknown

milpbasedsearchalgorithmdiff

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

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

moremoresuperpoly

resume-chinese-english-latex

Personal resume by LaTeX

rotational-cryptanalysis-from-a-differential-linear-perspective

searchforid

Search all IDs

sm4

stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

trivium

codes for attacking trivium

vundle.vim

Vundle, the plug-in manager for Vim

xoodoosat