Beast code in Giters

hukaisdu's repositories

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

Language:C++14 20

massive_superpoly_recovery

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

Language:C++MIT4 20

SearchForID

Search all IDs

Language:C++4 10

SM4

Language:C4 20

Boomerang

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

Language:Jupyter NotebookMIT100

ArxPy

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

Language:PythonMIT010

Ascon_6R_Experiments

Language:C000

ascon_cube_distinguishers

Language:C++010

cadical

CaDiCaL SAT Solver

Language:C++MIT000

CSBook

MIT000

espresso-logic

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

MIT000

gitfolio

:octocat: personal website + blog for every github user

Language:JavaScriptGPL-3.0000

HDL

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

Language:C++010

hukaisdu.github.io

Language:HTML020

ImpossibleDifferential

Java code for finding impossible differentials of cipher structures

Language:Java020

kissat

Language:CMIT000

LowerBoundsAlgDegree

Language:C++010

milp-three-subset-wo-unknown

Language:C++NOASSERTION010

MILPBasedSearchAlgorithmDiff

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

000