Implementation of attacks on cryptosystems

A repository that aims to provide tools for cryptography and cryptanalysis

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

Tool for Modeling Large S-box in MILP Based Differential Characteristics Search

Related-Key Boomerang Attacks on GIFT with Automated Trail Search Including BCT Effect

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

Tools for studying S-boxes

Numerical optimization code for classical and quantum subset-sum algorithms

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

Dynamic Programming, MILP, Depth First Search and Greedy Algorithms

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

Three Algorithms to solve MaxCut: an optimal solver via Integer Linear Programming with Gurobi, an approximative greedy solver and an approximative random greedy solver

A Differentially Private Decision Forest using greedy splitting heuristics

Archive of Potential Insider Threats

LeetCode Problems' Solutions

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

百度网盘超级会员，迅雷会员、爱奇艺会员账号每日分享，还有优酷，腾讯，芒果等VIP。AND。百度网盘(百度云)不限速工具分享。

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

Materials of "Improved Conditional Cube Attacks on Keccak Key Modes with MILP Method".

An open-source Java library for Constraint Programming

Cryptanalysis code for the SIMON and SPECK families of block ciphers

Haraka is a secure and efficient short-input hash function.

Tool to automatically search for linear characteristics

Bachelor thesis "Using SAT Solvers to detect Contradictions in Differential Characteristics"

Simple Theorem Prover.

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

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题目的思路）