-
-
universalattacks Public
Turning Multiple Key-Dependent Attacks into Universal Attacks
-
sboxanalyzer Public
An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes
-
espresso Public
Espresso Logic Minimizer - Modernized Edition
-
solvatore Public
Forked from kste/solvatoreAn easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.
Python MIT License UpdatedSep 10, 2025 -
-
AES-attacks-finder Public
Forked from cbouilla/AES-attacks-finderAutomatic tool from 2011 to find low-data complexity MitM attacks on the AES
-
artifacts Public
A comprehensive toolkit for research artifact evaluation with guides, templates, and evaluation forms for computer science conferences
-
Boomerang Public
A New Method to Search for Boomerang Distinguishers: Improved Rectangle Attacks on SKINNY and CRAFT
-
iacrtrans Public
Forked from Cryptosaurus/iacrtransLaTeX class for the IACR Transactions on Symmetric Cryptology
PostScript Creative Commons Zero v1.0 Universal UpdatedAug 26, 2025 -
autoguess Public
An easy-to-use, general and open-source tool to solve the guess-and-determine problem
-
minizinc-installer-linux Public
MiniZinc Installer for Linux (Bundle Version)
-
twinkle Public
Breaking the Twinkle Authenticated Encryption Scheme
-
DL Public
Revisiting Differential-Linear Attacks via a Boomerang Perspective
-
zeroplus Public
Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2
-
boolector Public
Forked from Boolector/boolectorA Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
SMT Other UpdatedJul 29, 2025 -
zeroplusplus Public
Forked from Debasmita-isi/zeroplusplusFinding Complete Impossible Differential Attacks on AndRX Ciphers and Efficient Distinguishers for ARX Designs
MiniZinc MIT License UpdatedJul 24, 2025 -
grabgurobi Public
Gurobi Installer for Linux
-
quasi-boomerang Public
Forked from ccc53021/quasi-boomerangGeometric Approach to Boomerang Distinguishers
Python UpdatedMay 30, 2025 -
mpt Public
Integral Analysis Based on Monomial Prediction
-
-
Algebraic-Attack-on-BiviumA Public
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.
-
cryptosmt Public
Forked from kste/cryptosmtAn easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
-
zero Public
An Automatic Tool to Search for Full Impossible-Differential, Zero-Correlation and Integral Attacks
-
QARMAnalysis Public
Cryptanalysis of QARMAv2
-
-
-
sage Public
Forked from sagemath/sageMain repository of SageMath. Now open for Issues and Pull Requests.
Python Other UpdatedJun 23, 2024 -
sec-deadlines.github.io Public
Forked from sec-deadlines/sec-deadlines.github.ioDeadline countdowns for academic conferences in Security and Privacy
HTML UpdatedOct 30, 2023 -
comeback Public
An Efficient Tool to Search for Boomerang Distinguishers for Feistel and SPN Ciphers
{{ message }}