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

This repo hosts the code pertaining to the paper "On the Security Margin of TinyJAMBU with Refined Differential and Linear Cryptanalysis"

Some programs for submission to CT-RSA2019

Tools for minimizing the number of XORs gates of a circuit

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

Tools for studying S-boxes

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

module of linear cryptanalysis

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

Quantum and classical MITM attacks using an MILP modeling

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

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

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

The NORX Differential-Search Engine

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

A Differentially Private Decision Forest using greedy splitting heuristics

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

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