LG Zhao's repositories
SM4_expand
概率与计算
BoolCrypt
Python library for vectorial Boolean functions in cryptography
cryptosmt
An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
djenrandom
A C program to generate random data using several random models, with parameterized non uniformities and flexible output formats.
mbedtls
An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API. Releases are on a varying cadence, typically around 3 - 6 months between releases.
MILP-basedModel
MILP-based Differential Attack on Round-Reduced GIFT
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
NOIP_ReC
信息学奥赛一本通配套光盘
or-tools
Google's Operations Research tools:
quadSolver
Solver for quadratic systems with one solution for cryptoanalytic purposes
Simon_Speck_Ciphers
Implementations of the Simon and Speck Block Ciphers
SPNbox-Attack
Sbox Recovery Attack on 3-round SPNbox
white-box-speck
A white-box Speck implementation using self-equivalence encodings
whiteboxarx
Implicit White-box Implementations of ARX Ciphers
YoyoTricksAES
Code for the attacks presented in "Yoyo Tricks with AES" at ASIACRYPT 2017