Popular repositories Loading

1. claasp claasp Public

   A Cryptographic Library for the Automated Analysis of Symmetric Primitives

   Python 79 14

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 62 14

3. syndrome_decoding_estimator syndrome_decoding_estimator Public

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

   Python 20 5

4. fhegen fhegen Public

   Python 18 3

5. TLS1.3 TLS1.3 Public

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

   Rust 12 2

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

   Python 8