🎬 人人影视 机器人和网站，包含人人影视全部资源以及众多网友的网盘分享

Main repository of SageMath

A model generator for energy system modelling and optimisation (LP/MILP).

通过遗传算法求解物流配送路径问题

Implementation of attacks on cryptosystems

An easy-to-use, general and open-source tool to solve the guess-and-determine problem

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

MILP-based Differential Attack on Round-Reduced GIFT

MD4 Collisions MD4 is a 128-bit cryptographic hash function, meaning it should take a work factor of roughly 2^64 to find collisions. It turns out we can do much better. The paper "Cryptanalysis of…

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 suita…

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

Code for the paper "Efficient MILP modelings for Sboxes and Linear Layers of SPN ciphers", ToSC 2020.

An Automatic Tool to Search for Full Impossible-Differential, Zero-Correlation and Integral Attacks

The accompanying code for the article "A cautionary note on the use of Gurobi for cryptanalysis".

Numerical optimization code for classical and quantum subset-sum algorithms

Quantum and classical MITM attacks using an MILP modeling

An experiment with the the Mixed Integer Linear Programming (MILP) Model for Keccak-p[400]

SMT models for finding quasidifferential trails in RECTANGLE, KNOT, Speck and Simon.

This repo is a collection of proof-of-concepts, examples, essays and experiments in cryptography, cryptanalysis, steganography and covert channels that I originally wrote in 2015.

New Automatic Search Tool for Impossible Differential and Zero-Correlation Linear Approximations

MILP Based Differential Characteristics Search for Lightweight Block Cipher PIPO

Differential and Linear Cryptanalysis

This is a library that tries to break SPN ciphers in an fully automatic manner.

Python 2.7 Implementation and Cryptanalysis of a Basic Substitution-Permutation Network Cipher

Solving the kidney exchange problem using Integer Linear Programming with a greedy heuristic

Linear Cryptanalysis Implementation

This code is accompanying the articles "On boomerang attacks on quadratic Feistel ciphers" and "On impossible boomerang attacks".