cryptosubtlety / intuitive-advanced-cryptographyLinks
Intuitive Advanced Cryptography
☆436Updated 3 years ago
Alternatives and similar repositories for intuitive-advanced-cryptography
Users that are interested in intuitive-advanced-cryptography are comparing it to the libraries listed below
Sorting:
- A collection of common (interesting) cryptographic mistakes and learning resources.☆353Updated last month
- The SHA-256 Project, developed for NYU Tandon's Applied Cryptography course☆545Updated last month
- Lecture notes for a course on cryptography☆539Updated last year
- Guidelines for low-level cryptography software☆1,166Updated 2 years ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆407Updated 2 months ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆217Updated 5 years ago
- A Rust library for lattice-based additive homomorphic encryption.☆417Updated last year
- Flexible and Constant Time Programming Language☆201Updated 3 years ago
- Constant-Time Toolkit☆297Updated 7 years ago
- problem sets for CS-GY 6903 Applied Cryptography☆41Updated 3 years ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆63Updated 2 years ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆542Updated 2 years ago
- Jupyter notebook for explaining elliptic curve encryption☆88Updated 4 years ago
- Timelock Encryption made practical. The Go `tlock` library and the `tle` cmd line tool home to encrypt towards the future.☆552Updated 2 months ago
- Cryptographic Primitive Code Generation by Fiat☆771Updated this week
- Paper and Demo Implementation of Paradoxical Compression with VDF☆174Updated 3 years ago
- Crypto Audit Guidelines☆134Updated 4 years ago
- A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.☆322Updated 5 years ago
- ☆143Updated 4 months ago
- Deployments of fancy cryptography☆152Updated last month
- SDK for private data access, built on homomorphic encryption.☆351Updated last year
- dude, is my code constant time?☆186Updated last year
- A place for useful crypto-related resources plus some of my fav stuff☆219Updated 4 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- Testing Schnorr's factorization claim in Sage☆305Updated 3 years ago
- Obuscated C Christmas programs☆379Updated 3 years ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆361Updated this week
- ☆450Updated 2 years ago
- Ledger's Advanced Side-Channel Analysis Repository☆397Updated last year
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year