Popular repositories

1. cryptosmt Public

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

   Python 61 21

2. haraka Public

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

   C 32 6

3. solvatore Public

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

   Python 16 9

4. keycommitment Public

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

   Sage 13 1

5. aeshash Public

   An implementation of a practical attack on round reduced hash functions based on AES.

   Python 8

6. cost2018 Public

   Code samples for the COST Training School on Symmetric Cryptography and Blockchain

   Python 6 1