An open-source Java library for Constraint Programming

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

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

An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes

Main repository of SageMath

Tools for studying S-boxes

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

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

Implementation of attacks on cryptosystems

Solving the Capacitated Vehicle Routing Problem with Time Windows (CVRPTW) using Mixed Integer Linear Programming (MILP) in Python with the Gurobi API.

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

MILP Model for Paper "Optimizing Key Recovery in Impossible Cryptanalysis and Its Automated Tool"

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

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

Dynamic Programming, MILP, Depth First Search and Greedy Algorithms

Archive of Potential Insider Threats

MILP Based Differential Characteristics Search for Lightweight Block Cipher PIPO

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

Quantum and classical MITM attacks using an MILP modeling

Search all IDs

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.

A practical implementation of linear cryptanalysis of SPNs, includes an SPN implementer, a client/server model and a cryptanalyst implementation.

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

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

Impossible differential for uBlock

Quantum and classical MITM attacks using an MILP modeling

LeetCode Problems' Solutions

my solutions for the HW in the symmetric cipher breaking course, all the HW are exercises from the https://cryptanex.hideinplainsight.io/ website