Beast code in Giters

hukaisdu's starred repositories

A Cryptographic Library for the Automated Analysis of Symmetric Primitives

Language:PythonGPL-3.04300

A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.

Language:CMIT12000

Supporting code and data for the ASIACRYPT 2021 paper "Convexity of division property transitions: theory, algorithms and compact models"

Language:PythonMIT900

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

Language:Jupyter NotebookMIT800

A C++ library containing both easy-to-use lower level bigint/ecgroup interfaces and high-level cryptographical schemes/protocols.

Language:C++7200

Testing Schnorr's factorization claim in Sage

Language:Sage30100