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

Main repository of SageMath

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

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

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".

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