Uboan

AisinoSSL

BoolCrypt

Python library for vectorial Boolean functions in cryptography

claasp

A Cryptographic Library for the Automated Analysis of Symmetric Primitives

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.

GimliAnalysis

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-aided-Cube-attack-like-cryptanalysis

MILP-basedModel

MILP-based Differential Attack on Round-Reduced GIFT

SM4_expand

概率与计算

Uboan/SM4_expand

概率与计算

Uboan/AisinoSSL

Uboan/BoolCrypt

Python library for vectorial Boolean functions in cryptography

Uboan/claasp

A Cryptographic Library for the Automated Analysis of Symmetric Primitives

Uboan/cryptosmt

An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.

Uboan/djenrandom

A C program to generate random data using several random models, with parameterized non uniformities and flexible output formats.

Uboan/GimliAnalysis

Uboan/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.

Uboan/MILP-aided-Cube-attack-like-cryptanalysis

Uboan/MILP-basedModel

MILP-based Differential Attack on Round-Reduced GIFT

Uboan/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

Uboan/milp_speck

Uboan/mitm-attacks-revisited

Uboan/NOIP_ReC

信息学奥赛一本通配套光盘

Uboan/or-tools

Google's Operations Research tools:

Uboan/quadSolver

Solver for quadratic systems with one solution for cryptoanalytic purposes

Uboan/secp256k1-sm2

Uboan/Simon_Speck_Ciphers

Implementations of the Simon and Speck Block Ciphers

Uboan/SPNbox-Attack

Sbox Recovery Attack on 3-round SPNbox

Uboan/white-box-speck

A white-box Speck implementation using self-equivalence encodings

Uboan/whiteboxarx

Implicit White-box Implementations of ARX Ciphers

Uboan/YoyoTricksAES

Code for the attacks presented in "Yoyo Tricks with AES" at ASIACRYPT 2017