Tool to automatically search for linear characteristics

Cryptanalysis code for the SIMON and SPECK families of block ciphers

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

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

Search all IDs

Tool to automatically search for linear characteristics

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

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

Tools for studying Impossible Differential Cryptanalysis on Substitution-Permutation Networks.

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

Simple Theorem Prover.

A practical preimage attack on 3-round Keccak-224