3 open source projects by kste

An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.

Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456

Haraka is a secure and efficient short-input hash function.