jack4818 / thesis-template

Related projects: ⓘ

• GiacomoPope / Castryck-Decru-SageMath
  A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH
  ☆118Updated last year
• symbolicsoft / verifpal
  Cryptographic protocol analysis for real-world protocols.
  ☆38Updated last week
• LearningToSQI / SQISign-SageMath
  ☆31Updated last year
• arnomi / cryptocode
  LaTeX package for typesetting pseudocode and cryptographic games
  ☆151Updated 9 months ago
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆309Updated this week
• WardBeullens / BreakingRainbow
  Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper
  ☆78Updated 2 years ago
• juliannowakowski / lwe_with_hints
  ☆23Updated last year
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆243Updated 7 months ago
• cpeikert / TheoryOfCryptography
  Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course
  ☆155Updated 9 months ago
• MQuaresma / pswoosh
  Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
  ☆18Updated 3 months ago
• Crypto-TII / CryptographicEstimators
  This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…
  ☆33Updated this week
• mit6875 / mit6875.github.io
  MIT 6.875
  ☆12Updated 9 months ago
• lducas / leaky-LWE-Estimator
  A sage Toolkit for mounting/estimating attacks on LWE with Side Information
  ☆37Updated last year
• cpeikert / LatticesInCryptography
  Lattices in Cryptography (University of Michigan)
  ☆62Updated 7 months ago
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆250Updated this week
• seewoo5 / awesome-number-theory
  A list of awesome number theory resources
  ☆22Updated last year
• JJChiDguez / sibc
  Supersingular Isogeny-Based Cryptography constructions (python-code library)
  ☆47Updated 2 years ago
• cronokirby / yao-gc
  A basic implementation of Yao's Garbled Circuits
  ☆30Updated 2 years ago
• fancy-cryptography / fancy-cryptography
  Deployments of fancy cryptography
  ☆113Updated last month
• friends-of-quaternions / deuring
  ☆13Updated 7 months ago
• JJChiDguez / sqale-csidh-velusqrt
  The SQALE of CSIDH: Square-root velu Quantum-resistant isogeny Action with Low Exponents
  ☆12Updated 3 years ago
• Breaking-SIDH / direct-attack
  ☆12Updated last year
• cryptobib / export
  CryptoBib BibTex files
  ☆50Updated last week
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆22Updated 9 months ago
• keeganryan / flatter
  Fast lattice reduction
  ☆160Updated last month
• malb / lattice-estimator
  An attempt at a new LWE estimator
  ☆212Updated last week
• formosa-crypto / libjade
  Crypto library
  ☆50Updated last month
• defeo / isogenies.bib
  A BibTeX collection on Isogeny-based Cryptography
  ☆18Updated last year
• secure-foundations / owl
  Compositional Verification of Security Protocols
  ☆11Updated last week
• fplll / g6k
  The General Sieve Kernel
  ☆102Updated last month