Popular repositories Loading

1. cryptosmt cryptosmt Public

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

   Python 88 36

2. haraka haraka Public

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

   C 51 8

3. solvatore solvatore Public

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

   Python 22 11

4. keycommitment keycommitment Public

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

   Sage 20 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