oconnor663 / applied_crypto_2021_fall
problem sets for CS-GY 6903 Applied Cryptography
☆39Updated 3 years ago
Alternatives and similar repositories for applied_crypto_2021_fall:
Users that are interested in applied_crypto_2021_fall are comparing it to the libraries listed below
- Bounds on divsteps iterations in safegcd☆54Updated 6 months ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆62Updated 2 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated last year
- Constant time big numbers for Go☆101Updated last month
- Crypto library☆58Updated 2 weeks ago
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- ☆28Updated 3 years ago
- Mirror of a website on Elligator by Daniel J. Bernstein, Mike Hamburg, Anna Krasnova, and Tanja Lange☆16Updated 3 weeks ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆39Updated 7 months ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆14Updated 5 years ago
- Intuitive Advanced Cryptography☆435Updated 2 years ago
- Rust library for cryptographic research☆140Updated 3 months ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆215Updated 5 years ago
- Bertie TLS 1.3 Implementation☆118Updated last week
- Auditing Applied Cryptography☆10Updated 5 years ago
- A collection of high-performance crypto implementations.☆50Updated 2 weeks ago
- Please see https://github.com/hacspec/hax☆243Updated last year
- C crypto library☆23Updated last year
- Optimized Binary GCD for Modular Inversion☆43Updated 4 years ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated last year
- Mirror of all PDFs from the IACR's eprint☆46Updated last year
- Research and proof of concept to develop the next SecureDrop with end to end encryption.☆49Updated 2 months ago
- Infinitely presentable (aeon) rerandomisable (flux) anonymous credentials.☆28Updated 4 years ago
- PUREE: Password-based Uniform-Random-Equivalent Encryption☆63Updated 4 years ago
- Reference implementations of post-quantum cryptographic primitives☆29Updated last year
- JHU Advanced Topics in Applied Cryptography (601.745)☆52Updated 7 years ago
- Pixel: Forward secure multi-signatures and threshold signatures☆17Updated 2 years ago
- Flexible and Constant Time Programming Language☆199Updated 3 years ago
- Jupyter notebook for explaining elliptic curve encryption☆86Updated 4 years ago