boazbk / cryptoLinks
Lecture notes for a course on cryptography
☆563Updated 2 years ago
Alternatives and similar repositories for crypto
Users that are interested in crypto are comparing it to the libraries listed below
Sorting:
- Intuitive Advanced Cryptography☆436Updated 3 years ago
- Guidelines for low-level cryptography software☆1,183Updated 2 years ago
- A collection of common (interesting) cryptographic mistakes and learning resources.☆364Updated 6 months ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆546Updated 3 years ago
- Book in preparation: introduction to theoretical computer science☆988Updated last year
- A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.☆323Updated 5 years ago
- ☆144Updated 8 months ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆407Updated 6 months ago
- JHU Advanced Topics in Applied Cryptography (601.745)☆53Updated 7 years ago
- Constant-Time Toolkit☆300Updated 7 years ago
- ☆452Updated 2 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- A repository that aims to provide tools for cryptography and cryptanalysis☆217Updated 5 years ago
- A place for useful crypto-related resources plus some of my fav stuff☆220Updated 4 years ago
- Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course☆184Updated 3 months ago
- MIT 6.875☆14Updated 3 weeks ago
- Main source code repository of the Tamarin prover for security protocol verification.☆495Updated last month
- SIDH Library is a fast and portable software library that implements state-of-the-art supersingular isogeny cryptographic schemes. The ch…☆325Updated 2 years ago
- Cryptol: The Language of Cryptography☆1,194Updated this week
- Ledger's Advanced Side-Channel Analysis Repository☆401Updated 2 years ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆63Updated 3 years ago
- A curated list of resources about post-quantum cryptography.☆353Updated 4 months ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆378Updated this week
- A Rust library for lattice-based additive homomorphic encryption.☆418Updated 2 years ago
- Jupyter notebook for explaining elliptic curve encryption☆88Updated 4 years ago
- A python library that implements a number of Privacy Enhancing Technolgies☆135Updated 3 years ago
- Scripts that illustrate basic cryptography concepts based on Coursera Standford Cryptography I course and more.☆69Updated 5 years ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆101Updated 2 years ago
- Crypto Audit Guidelines☆134Updated 5 years ago
- Python code to implement various number theory, elliptic curve and finite field computations.☆103Updated 4 years ago