Alternatives and similar repositories for intuitive-advanced-cryptography:

Users that are interested in intuitive-advanced-cryptography are comparing it to the libraries listed below

• oconnor663 / sha256_project
  The SHA-256 Project, developed for NYU Tandon's Applied Cryptography course
  ☆536Updated 2 years ago
• SalusaSecondus / CryptoGotchas
  A collection of common (interesting) cryptographic mistakes and learning resources.
  ☆338Updated this week
• veorq / cryptocoding
  Guidelines for low-level cryptography software
  ☆1,146Updated last year
• facebookresearch / Cupcake
  A Rust library for lattice-based additive homomorphic encryption.
  ☆415Updated last year
• boazbk / crypto
  Lecture notes for a course on cryptography
  ☆525Updated last year
• CEA-LIST / Cingulata
  Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…
  ☆406Updated last year
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆217Updated 5 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆198Updated 3 years ago
• pornin / CTTK
  Constant-Time Toolkit
  ☆295Updated 6 years ago
• sdiehl / bulletproofs
  Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
  ☆541Updated 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.
  ☆538Updated last month
• oconnor663 / applied_crypto_2021_fall
  problem sets for CS-GY 6903 Applied Cryptography
  ☆39Updated 3 years ago
• veorq / cag
  Crypto Audit Guidelines
  ☆133Updated 4 years ago
• mit-plv / fiat-crypto
  Cryptographic Primitive Code Generation by Fiat
  ☆751Updated this week
• fancy-cryptography / fancy-cryptography
  Deployments of fancy cryptography
  ☆135Updated 3 months ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆199Updated last year
• cryptosubtlety / postquantumcrypto
  Intuitive Quantum Computation and Post-Quantum Cryptography
  ☆62Updated 2 years ago
• francisrstokes / githublog
  I'm sick of complex blogging solutions, so markdown files in a git repo it is
  ☆815Updated 4 months ago
• syncsynchalt / animated-curves
  An animated visualization of elliptic curve cryptography
  ☆139Updated 6 months ago
• fangpenlin / elliptic-curve-explained
  Jupyter notebook for explaining elliptic curve encryption
  ☆86Updated 4 years ago
• veorq / awesome-post-quantum
  A curated list of resources about post-quantum cryptography
  ☆279Updated 6 months ago
• mikekelly / btc-endgame
  ☆214Updated 4 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆296Updated 3 weeks ago
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆343Updated this week
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆266Updated this week
• hoytech / quadrable
  Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
  ☆302Updated 2 years ago
• ronomon / pure
  A static analysis file format checker.
  ☆239Updated 4 years ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆491Updated 5 months ago
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆243Updated last year
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆230Updated 4 years ago