uboan Goto Github PK

aisinossl

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.

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

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

milp_speck

mitm-attacks-revisited

noip_rec

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

or-tools

Google's Operations Research tools:

quadsolver

Solver for quadratic systems with one solution for cryptoanalytic purposes

secp256k1-sm2

simon_speck_ciphers

Implementations of the Simon and Speck Block Ciphers

sm4_expand

概率与计算

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