• Stars
    star
    5
  • Rank 2,785,949 (Top 57 %)
  • Language
    Python
  • License
    GNU General Publi...
  • Created about 2 years ago
  • Updated 6 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

claasp

A Cryptographic Library for the Automated Analysis of Symmetric Primitives
Python
44
star
2

CryptographicEstimators

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

syndrome_decoding_estimator

A tool to estimate the difficulty of solving the syndrome decoding problem.
Python
10
star
4

FANNG-MPC

Your GoTo Library for NN's over MPC
Verilog
9
star
5

MILP_MIQCP-differential-linear_key-recovery_speck32

Python
7
star
6

TLS1.3

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

fhegen

Python
7
star
8

shanatomy

Software to find preimages of reduced SHA-1 using SAT solvers
Python
3
star
9

roulette

A solver used for roulette fault attacks on Kyber.
Python
3
star
10

nnbits

Python
3
star
11

probabilistic_algorithms_for_boolean_polynomial_systems

C
3
star
12

mpc_graph_theory_lib

SCALE-MAMBA implementation of basic graph theory functionality
Python
2
star
13

Boosting_differential-linear_cryptanalysis_of_ChaCha7_with_MILP

Repository to host the code of the manuscript titled "Boosting differential-linear cryptanalysis of ChaCha7 with MILP"
Cuda
2
star
14

mat3

Matrix Triple Generation
C
1
star
15

beyond_rabbit

Rabbit through the mirror Protocol Implementations. This includes basic random sampling using dabits in Mamba. This is to the best of our knowledge the first implementation of its kind
Python
1
star
16

mirith_nist_submission

To contain the submissions code of the MiRitH Digital Signature Scheme for the NIST Post-Quantum Digital Signature standardization process.
C
1
star
17

AutoND

Python
1
star