oconnor663 / applied_crypto_2021_fall
problem sets for CS-GY 6903 Applied Cryptography
☆39Updated 2 years ago
Related projects: ⓘ
- Intuitive Quantum Computation and Post-Quantum Cryptography☆62Updated 2 years ago
- Bertie TLS 1.3 Implementation☆112Updated 2 months ago
- Rust library for cryptographic research☆125Updated 3 months ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated last year
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆59Updated last year
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆38Updated last week
- Flexible and Constant Time Programming Language☆197Updated 2 years ago
- Deployments of fancy cryptography☆113Updated last month
- Intuitive Advanced Cryptography☆427Updated 2 years ago
- The formally verified crypto library for Rust☆78Updated this week
- Crypto library☆50Updated last month
- A Fully Homomorphic Encryption Brainfuck virtual machine☆214Updated 4 years ago
- A Rust library for lattice-based additive homomorphic encryption.☆405Updated 11 months ago
- Verifying constant-time code with symbolic execution☆40Updated 2 years ago
- OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…☆71Updated 3 years ago
- ☆28Updated 2 years ago
- Optimized Binary GCD for Modular Inversion☆42Updated 3 years ago
- A maliciously secure two-party computation engine which is embeddable and accessible☆174Updated 5 months ago
- An animated visualization of elliptic curve cryptography☆120Updated last week
- A Coordination repo for all things Rust Cryptography oriented☆256Updated 3 weeks ago
- Mirror of all PDFs from the IACR's eprint☆46Updated 8 months ago
- Constant time big numbers for Go☆96Updated 7 months ago
- Infinitely presentable (aeon) rerandomisable (flux) anonymous credentials.☆28Updated 3 years ago
- A distributed hash table with unusually strong security properties☆64Updated 4 years ago
- Please see https://github.com/hacspec/hax☆243Updated 7 months ago
- An implementation of an auditable key directory☆233Updated 3 weeks ago
- A curated list of resources about post-quantum cryptography☆239Updated 3 months ago
- A Rust verification tool☆176Updated this week
- The BLAKE3 paper: specifications, analysis, and design rationale☆163Updated 2 years ago