Popular repositories Loading

1. claasp claasp Public

   A Cryptographic Library for the Automated Analysis of Symmetric Primitives

   Python 73 15

2. CryptographicEstimators CryptographicEstimators Public

   This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cryptography.

   Python 54 10

3. fhegen fhegen Public

   Python 19 4

4. syndrome_decoding_estimator syndrome_decoding_estimator Public

   A tool to estimate the difficulty of solving the syndrome decoding problem.

   Python 17 4

5. TLS1.3 TLS1.3 Public

   Bilingual Implementation of TLS1.3 in C++ and Rust

   Rust 11 1

6. MILP_MIQCP-differential-linear_key-recovery_speck32 MILP_MIQCP-differential-linear_key-recovery_speck32 Public

   Python 8