Research Projects
Some cryptographic research tools and open-source implementations I've worked on.
Featured Projects
Top projects by GitHub stars and research impact
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
ctiming
Measuring the Performance of C Implementations in CPU clock cycle
zeroplus
Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2
Complete Project Archive
Comprehensive collection of cryptographic research tools and implementations
KeeLoq
C implementation of KeeLoq algorithm, equipped with a function to generate algebraic equations of KeeLoq over GF(2)
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
ctiming
Measuring the Performance of C Implementations in CPU clock cycle
zeroplus
Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2
zero
An Automatic Tool to Search for Full Impossible-Differential, Zero-Correlation and Integral Attacks
DL
Revisiting Differential-Linear Attacks via a Boomerang Perspective
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
logic-minimization
A repository containing off-the-shelf programs for solving the logic minimization problem
craftanalysis
Comprehensive Security Analysis of CRAFT
CTC2-Fast-Algebraic-Attack
A python class implementing the Courtois Toy Cipher (CTC2) equipped with some methods for algebraic cryptanalysis of CTC2
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
artifacts
A comprehensive toolkit for research artifact evaluation with guides, templates, and evaluation forms for computer science conferences
pythonexample
Some Python Examples for Those Who Want to Learn Python
Syncing-Your-Github-Fork
A brief guidance about syncing a forked repository with the original one
minizinc-installer-linux
MiniZinc Installer for Linux (Bundle Version)
mqchallenge
Decode the MQ Challenge Systems into the Sage Format
CythonSage
An example of using an external C code in Python (SageMath)
sha3collision
A Simple Python Script to Find Collision for Truncated SHA3
Algebraic-Attack-on-BiviumA
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.
Collaborative Projects
Research partnerships and joint developments with fellow researchers
cryptosmt
by kste
An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
sec-deadlines.github.io
by sec-deadlines
Deadline countdowns for academic conferences in Security and Privacy
zeroplusplus
by Debasmita-isi
Finding Complete Impossible Differential Attacks on AndRX Ciphers and Efficient Distinguishers for ARX Designs
sage
by sagemath
Main repository of SageMath
Tools-for-Cryptanalysis
by Deadlyelder
A repository that aims to provide tools for cryptography and cryptanalysis
skydiscover
by skydiscover-ai
AI-Driven Scientific and Algorithmic Discovery
pysat
by pysathq
A toolkit for SAT-based prototyping in Python
iacrtrans
by Cryptosaurus
LaTeX class for the IACR Transactions on Symmetric Cryptology
AES-attacks-finder
by cbouilla
Automatic tool from 2011 to find low-data complexity MitM attacks on the AES
boolector
by Sichao-Yang
My copy of A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.