kste

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

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

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

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

sha256_avx. A fast implementation for parallel processing single block SHA256.

skinny_avx. AVX implementation of the Skinny block cipher

matsui. Implementation of Matsui's algorithm for finding the minimum number of active S-boxes.

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

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

skinny-rs. Implementation of the Skinny block cipher in Rust

sphincs. Optimized implementations for cryptographic hash functions for the use in hash-based signature schemes.

sphincs_sha256. Implementation of the SPHINCS digital signature scheme using SHA256.