Popular repositories Loading

1. claasp claasp Public

   A Cryptographic Library for the Automated Analysis of Symmetric Primitives

   Python 67 12

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 48 9

3. fhegen fhegen Public

   Python 18 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 12 1

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

   Python 8