kste

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

kste

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

kste

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

kste

An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.

kste