Hosein Hadipour's Projects
Automatic tool from 2011 to find low-data complexity MitM attacks on the AES
VHDL Implementation of AES Algorithm
It is a SageMath script, which extracts the BiviumA algebraic equations, and then solves the extracted equations via a SAT solver. Here the Cryptominisat5 is used as a SAT solver.
An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges
This repository has been forked from https://gitee.com/hukaisdu/BDP_for_ComplexLinear
A New Method to Search for Boomerang Distinguishers: Improved Rectangle Attacks on SKINNY and CRAFT
An Efficient Tool to Search for Boomerang Distinguishers for Feistel and SPN Ciphers
A Course in Cryptanalysis
Using an MILP method to find integral distinguisher based on division property for CRAFT
Comprehensive Security Analysis of CRAFT
A list of VHDL codes implementing cryptographic algorithms
An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
A python class implementing the Courtois Toy Cipher (CTC2) equipped with some methods for algebraic cryptanalysis of CTC2
Measuring the Performance of C Implementations in CPU clock cycle
An example of using an external C code in Python (SageMath)
Degree Dropper Algorithm
Deterministic Truncated Differential Trails
Revisiting Differential-Linear Attacks via a Boomerang Perspective
Practical Multiple Persistent Faults Analysis
A Sage code for finding collision for the FNV2 hash function
My Special Repository
LaTeX class for the IACR Transactions on Symmetric Cryptology
List of available research positions in information security
C implementation of KeeLoq algorithm, equipped with a function to generate algebraic equations of KeeLoq over GF(2)
A repository containing off-the-shelf programs for solving the logic minimization problem
Applying the MILP method to search bit-based integral distinguishers and degree estimation of the round function of MIBS block cipher, using division property.
Integral Analysis Based on Monomial Prediction
Decode the MQ Challenge Systems into the Sage Format