Popular repositories

1. cryptosmt cryptosmt Public

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

   Python 83 36

2. haraka haraka Public

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

   C 47 8

3. solvatore solvatore Public

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

   Python 20 10

4. keycommitment keycommitment Public

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

   Sage 19 2

5. sha256_avx sha256_avx Public

   A fast implementation for parallel processing single block SHA256.

   C 14 10

6. skinny_avx skinny_avx Public

   AVX implementation of the Skinny block cipher

   C 11 4