cryptosubtlety / intuitive-advanced-cryptography

Related projects ⓘ

Alternatives and complementary repositories for intuitive-advanced-cryptography

• SalusaSecondus / CryptoGotchas
  A collection of common (interesting) cryptographic mistakes and learning resources.
  ☆318Updated 2 months ago
• oconnor663 / sha256_project
  The SHA-256 Project, developed for NYU Tandon's Applied Cryptography course
  ☆534Updated 2 years ago
• CEA-LIST / Cingulata
  Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…
  ☆404Updated 9 months ago
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆214Updated 4 years ago
• veorq / cryptocoding
  Guidelines for low-level cryptography software
  ☆1,106Updated last year
• pornin / CTTK
  Constant-Time Toolkit
  ☆294Updated 6 years ago
• facebookresearch / Cupcake
  A Rust library for lattice-based additive homomorphic encryption.
  ☆407Updated last year
• boazbk / crypto
  Lecture notes for a course on cryptography
  ☆511Updated 10 months ago
• oconnor663 / applied_crypto_2021_fall
  problem sets for CS-GY 6903 Applied Cryptography
  ☆39Updated 2 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆198Updated 2 years ago
• sdiehl / bulletproofs
  Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
  ☆535Updated last year
• drand / tlock
  Timelock Encryption made practical. The Go `tlock` library and the `tle` cmd line tool home to encrypt towards the future.
  ☆514Updated 3 weeks ago
• cryptosubtlety / postquantumcrypto
  Intuitive Quantum Computation and Post-Quantum Cryptography
  ☆62Updated 2 years ago
• veorq / cag
  Crypto Audit Guidelines
  ☆132Updated 3 years ago
• chjj / liburkel
  Authenticated key-value store (i.e. an urkel tree)
  ☆315Updated last year
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆100Updated 2 years ago
• hadipourh / course-cryptanalysis
  A Course in Cryptanalysis
  ☆131Updated 3 weeks ago
• guidovranken / cryptofuzz
  Fuzzing cryptographic libraries. Magic bug printer go brrrr.
  ☆682Updated last week
• mit-plv / fiat-crypto
  Cryptographic Primitive Code Generation by Fiat
  ☆713Updated this week
• hoytech / quadrable
  Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
  ☆300Updated last year
• izabera / zeromaps
  A "living" Linux process with no memory
  ☆342Updated 4 years ago
• oreparaz / dudect
  dude, is my code constant time?
  ☆176Updated 7 months ago
• blyssprivacy / sdk
  SDK for private data access, built on homomorphic encryption.
  ☆337Updated 7 months ago
• fangpenlin / elliptic-curve-explained
  Jupyter notebook for explaining elliptic curve encryption
  ☆86Updated 3 years ago
• fancy-cryptography / fancy-cryptography
  Deployments of fancy cryptography
  ☆124Updated last week
• Ledger-Donjon / lascar
  Ledger's Advanced Side-Channel Analysis Repository
  ☆376Updated last year
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆224Updated 3 years ago
• veorq / awesome-post-quantum
  A curated list of resources about post-quantum cryptography
  ☆249Updated last month
• lducas / SchnorrGate
  Testing Schnorr's factorization claim in Sage
  ☆303Updated 2 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆291Updated last week