Hosein Hadipour

course-cryptanalysis. A Course in Cryptanalysis

KeeLoq. C implementation of KeeLoq algorithm, equipped with a function to generate algebraic equations of KeeLoq over GF(2)

AES-VHDL. VHDL Implementation of AES Algorithm

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

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

CryptoHDL. A list of VHDL codes implementing cryptographic algorithms

espresso. Espresso Logic Minimizer - Modernized Edition

zeroplus. Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2

ctiming. Measuring the Performance of C Implementations in CPU clock cycle

DL. Revisiting Differential-Linear Attacks via a Boomerang Perspective

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

fwht. High-performance C99 library for computing the Fast Walsh-Hadamard Transform (FWHT)

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

verifyref. High-Performance Academic Reference Verification Tool

twinkle. Breaking the Twinkle Authenticated Encryption Scheme

logic-minimization. A repository containing off-the-shelf programs for solving the logic minimization problem

talks. The LaTex Sources for My Talks

CTC2-Fast-Algebraic-Attack. A python class implementing the Courtois Toy Cipher (CTC2) equipped with some methods for algebraic cryptanalysis of CTC2

craftanalysis. Comprehensive Security Analysis of CRAFT

MIBS-Integral-Cryptanalysis-Basd-on-Division-Property. Applying the MILP method to search bit-based integral distinguishers and degree estimation of the round function of MIBS block cipher, using division property.

universalattacks. Turning Multiple Key-Dependent Attacks into Universal Attacks

comeback. An Efficient Tool to Search for Boomerang Distinguishers for Feistel and SPN Ciphers

CRAFT-Integral-Distinguisher. Using an MILP method to find integral distinguisher based on division property for CRAFT

fnv2. A Sage code for finding collision for the FNV2 hash function

mpt. Integral Analysis Based on Monomial Prediction

artifacts. A comprehensive toolkit for research artifact evaluation with guides, templates, and evaluation forms for computer science conferences

Syncing-Your-Github-Fork. A brief guidance about syncing a forked repository with the original one

QARMAnalysis. Cryptanalysis of QARMAv2

faultyaes. Practical Multiple Persistent Faults Analysis

pythonexample. Some Python Examples for Those Who Want to Learn Python

minizinc-installer-linux. MiniZinc Installer for Linux (Bundle Version)

grabgurobi. Gurobi Installer for Linux

mqchallenge. Decode the MQ Challenge Systems into the Sage Format

skinny. C++ Implementation of Skinny

mscthesis. TeX

CythonSage. An example of using an external C code in Python (SageMath)