Alternatives and similar repositories for intuitive-advanced-cryptography

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

• SalusaSecondus / CryptoGotchas
  A collection of common (interesting) cryptographic mistakes and learning resources.
  ☆361Updated 4 months ago
• boazbk / crypto
  Lecture notes for a course on cryptography
  ☆550Updated 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…
  ☆407Updated 5 months ago
• veorq / cryptocoding
  Guidelines for low-level cryptography software
  ☆1,175Updated 2 years ago
• oconnor663 / sha256_project
  The SHA-256 Project, developed for NYU Tandon's Applied Cryptography course
  ☆549Updated 4 months ago
• oconnor663 / applied_crypto_2021_fall
  problem sets for CS-GY 6903 Applied Cryptography
  ☆41Updated 3 years ago
• facebookresearch / Cupcake
  A Rust library for lattice-based additive homomorphic encryption.
  ☆418Updated 2 years ago
• pornin / CTTK
  Constant-Time Toolkit
  ☆299Updated 7 years ago
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆216Updated 5 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆202Updated 3 years ago
• fangpenlin / elliptic-curve-explained
  Jupyter notebook for explaining elliptic curve encryption
  ☆88Updated 4 years ago
• drand / tlock
  Timelock Encryption made practical. The Go `tlock` library and the `tle` cmd line tool home to encrypt towards the future.
  ☆561Updated last week
• mit-plv / fiat-crypto
  Cryptographic Primitive Code Generation by Fiat
  ☆781Updated last week
• cryptosubtlety / postquantumcrypto
  Intuitive Quantum Computation and Post-Quantum Cryptography
  ☆63Updated 3 years ago
• blyssprivacy / sdk
  SDK for private data access, built on homomorphic encryption.
  ☆354Updated last year
• matthewdgreen / practicalcrypto
  ☆144Updated 6 months ago
• veorq / cag
  Crypto Audit Guidelines
  ☆134Updated 4 years ago
• Ledger-Donjon / lascar
  Ledger's Advanced Side-Channel Analysis Repository
  ☆399Updated 2 years ago
• lducas / SchnorrGate
  Testing Schnorr's factorization claim in Sage
  ☆305Updated 3 years ago
• pornin / paradox-compress
  Paper and Demo Implementation of Paradoxical Compression with VDF
  ☆175Updated 3 years ago
• fancy-cryptography / fancy-cryptography
  Deployments of fancy cryptography
  ☆170Updated last month
• CardsAgainstCryptography / CAC
  A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.
  ☆323Updated 5 years ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆106Updated last year
• FPSG-UIUC / hertzbleed
  ☆453Updated 3 years ago
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆231Updated 4 years ago
• oreparaz / dudect
  dude, is my code constant time?
  ☆191Updated last year
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆193Updated 8 years ago
• ColinIanKing / christmas-obfuscated-C
  Obuscated C Christmas programs
  ☆379Updated 3 years ago
• matthewdgreen / cryptoengineering
  JHU Advanced Topics in Applied Cryptography (601.745)
  ☆53Updated 7 years ago
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆372Updated this week