Popular repositories Loading

1. claasp claasp Public

   A Cryptographic Library for the Automated Analysis of Symmetric Primitives

   Python 48 10

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 33 5

3. TLS1.3 TLS1.3 Public

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

   Rust 10 1

4. syndrome_decoding_estimator syndrome_decoding_estimator Public

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

   Python 10 4

5. fhegen fhegen Public

   Python 9 4

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

   Python 7