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.
  ☆319Updated 3 months 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
• oconnor663 / sha256_project
  The SHA-256 Project, developed for NYU Tandon's Applied Cryptography course
  ☆534Updated 2 years ago
• veorq / cryptocoding
  Guidelines for low-level cryptography software
  ☆1,110Updated last year
• pornin / CTTK
  Constant-Time Toolkit
  ☆294Updated 6 years ago
• facebookresearch / Cupcake
  A Rust library for lattice-based additive homomorphic encryption.
  ☆408Updated last year
• boazbk / crypto
  Lecture notes for a course on cryptography
  ☆514Updated 11 months ago
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆214Updated 4 years ago
• sdiehl / bulletproofs
  Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
  ☆535Updated last year
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆198Updated 2 years ago
• fangpenlin / elliptic-curve-explained
  Jupyter notebook for explaining elliptic curve encryption
  ☆86Updated 3 years ago
• mit-plv / fiat-crypto
  Cryptographic Primitive Code Generation by Fiat
  ☆717Updated this week
• veorq / cag
  Crypto Audit Guidelines
  ☆132Updated 3 years ago
• cryptosubtlety / postquantumcrypto
  Intuitive Quantum Computation and Post-Quantum Cryptography
  ☆62Updated 2 years ago
• drand / tlock
  Timelock Encryption made practical. The Go `tlock` library and the `tle` cmd line tool home to encrypt towards the future.
  ☆518Updated last month
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆225Updated 3 years ago
• chjj / liburkel
  Authenticated key-value store (i.e. an urkel tree)
  ☆315Updated last year
• lducas / SchnorrGate
  Testing Schnorr's factorization claim in Sage
  ☆303Updated 2 years ago
• MantechUser / aes-finder
  Utility to find AES keys in running processes
  ☆328Updated last year
• oconnor663 / applied_crypto_2021_fall
  problem sets for CS-GY 6903 Applied Cryptography
  ☆39Updated 2 years ago
• ColinIanKing / christmas-obfuscated-C
  Obuscated C Christmas programs
  ☆377Updated 2 years ago
• oreparaz / dudect
  dude, is my code constant time?
  ☆176Updated 8 months ago
• The-DevX-Initiative / RCIG_Coordination_Repo
  A Coordination repo for all things Rust Cryptography oriented
  ☆260Updated 2 months ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆812Updated 7 months ago
• C2SP / C2SP
  Community Cryptography Specification Project
  ☆313Updated last month
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆243Updated 9 months ago
• veorq / awesome-post-quantum
  A curated list of resources about post-quantum cryptography
  ☆253Updated last month
• Penetrum-Security / Security-List
  Penetrum LLC opensource security tool list.
  ☆650Updated 2 years ago
• syncsynchalt / animated-curves
  An animated visualization of elliptic curve cryptography
  ☆129Updated 2 months ago