Research Projects
A comprehensive collection of cryptographic research tools, open-source implementations, and collaborative projects advancing the field of applied cryptography.
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
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
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
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
Boomerang
A New Method to Search for Boomerang Distinguishers: Improved Rectangle Attacks on SKINNY and CRAFT
twinkle
Breaking the Twinkle Authenticated Encryption Scheme
logic-minimization
A repository containing off-the-shelf programs for solving the logic minimization problem
CTC2-Fast-Algebraic-Attack
A python class implementing the Courtois Toy Cipher (CTC2) equipped with some methods for algebraic cryptanalysis of CTC2
comeback
An Efficient Tool to Search for Boomerang Distinguishers for Feistel and SPN Ciphers
craftanalysis
Comprehensive Security Analysis of CRAFT
CRAFT-Integral-Distinguisher
Using an MILP method to find integral distinguisher based on division property for 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.
fnv2
A Sage code for finding collision for the FNV2 hash function
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
pythonexample
Some Python Examples for Those Who Want to Learn Python
artifacts
A comprehensive toolkit for research artifact evaluation with guides, templates, and evaluation forms for computer science conferences
sha3collision
A Simple Python Script to Find Collision for Truncated SHA3
CythonSage
An example of using an external C code in Python (SageMath)
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
solvatore
by kste
An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.
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
info-sec-contacts
by alxdavids
List of available research positions in information security
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.