Stars
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
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"
my solutions for the HW in the symmetric cipher breaking course, all the HW are exercises from the https://cryptanex.hideinplainsight.io/ website