Alternatives and similar repositories for shellLL

Users that are interested in shellLL are comparing it to the libraries listed below

• LearningToSQI / SQISign-SageMath
  ☆44Updated 2 years ago
• GiacomoPope / Castryck-Decru-SageMath
  A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH
  ☆134Updated 2 years ago
• WardBeullens / BreakingRainbow
  Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper
  ☆83Updated 3 years ago
• fplll / g6k
  The General Sieve Kernel
  ☆121Updated last month
• mwageringel / fgb_sage
  A Sage interface for FGb (Gröbner basis computations)
  ☆34Updated last year
• epistemologist / des_symbolic
  Representing DES in Z3
  ☆15Updated 2 years ago
• vvasseur / isd
  An implementation of Dumer's algorithm for Information Set Decoding.
  ☆14Updated last year
• friends-of-quaternions / deuring
  ☆14Updated last year
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆302Updated last week
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆153Updated this week
• ThetaIsogenies / two-isogenies
  A rust and SageMath implementation of (2,2)-isogenies in the theta model
  ☆20Updated 6 months ago
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆359Updated this week
• tamarin-pq3 / tamarin-pq3
  The formal proofs for iMessage PQ3 using the Tamarin Prover
  ☆18Updated 4 months ago
• TheSICQ / ApresSQI
  Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".
  ☆10Updated 4 months ago
• formosa-crypto / libjade
  Crypto library
  ☆60Updated 3 weeks ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆26Updated last year
• ludopulles / BLASter
  Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS
  ☆32Updated last month
• FeanorTheElf / feanor-math
  A fast, pure-Rust library for computational number theory
  ☆31Updated last week
• PQCMayo / MAYO-C
  MAYO C implementation
  ☆16Updated 4 months ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆110Updated this week
• JJChiDguez / sqale-csidh-velusqrt
  The SQALE of CSIDH: Square-root velu Quantum-resistant isogeny Action with Low Exponents
  ☆12Updated 4 years ago
• keeganryan / flatter
  Fast lattice reduction
  ☆209Updated 4 months ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆37Updated 2 weeks ago
• J08nY / ecgen
  Tool for generating Elliptic curve domain parameters
  ☆127Updated 3 months ago
• GaloisInc / cryptol-specs
  Specifications of cryptographic algorithms in Cryptol
  ☆41Updated this week
• juliannowakowski / automated-coppersmith
  ☆33Updated last year
• lducas / leaky-LWE-Estimator
  A sage Toolkit for mounting/estimating attacks on LWE with Side Information
  ☆46Updated last year
• fmlab-iis / cryptoline
  ☆50Updated last week
• Crypto-TII / claasp
  A Cryptographic Library for the Automated Analysis of Symmetric Primitives
  ☆67Updated this week
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆244Updated last year