Tools for studying S-boxes

Simple Theorem Prover.

Implementation of Matsui's algorithm for finding the minimum number of active S-boxes.

A practical preimage attack on 3-round Keccak-224

Demonstrate all the questions on LeetCode in the form of animation.（用动画的形式呈现解LeetCode题目的思路）

🎬 人人影视bot，完全对接人人影视全部无删减资源

Supplementary code and data to "Improving Attacks on Round-Reduced Speck32/64 Using Deep Learning"

A repository that aims to provide tools for cryptography and cryptanalysis

Quantum and classical MITM attacks using an MILP modeling

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

Tools for minimizing the number of XORs gates of a circuit

GUI tool for exploring semi-truncated differential characteristics of tweakable block ciphers.

Code samples for the COST Training School on Symmetric Cryptography and Blockchain

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

Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers

Implementation of Piccolo in Python, generating cnf equations for SAT Solvers

The NORX Differential-Search Engine

A tool to perform differential fault analysis attacks (DFA).

Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers

Tool to automatically search for linear characteristics

Linear Cryptanalysis of Substitution Permutation Network

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

Blazing fast MITM attack on a 24 bits implementation of the PRESENT block cipher algorithm.