lgarron / crypto.graphicsLinks
crypto.graphics
☆28Updated 5 years ago
Alternatives and similar repositories for crypto.graphics
Users that are interested in crypto.graphics are comparing it to the libraries listed below
Sorting:
- A BibTeX collection on Isogeny-based Cryptography☆17Updated 2 years ago
- Crypto library☆66Updated this week
- A pure-Rust implementation of the Paillier encryption scheme☆82Updated 7 years ago
- A Formal Semantics of WebAssembly in K☆82Updated this week
- authenticated data structures, generically☆54Updated 8 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 3 months ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- Pairing cryptography library in Rust☆166Updated 2 years ago
- ☆33Updated last year
- Please see https://github.com/hacspec/hax☆245Updated last year
- Λ ⚬ λ: Functional Lattice Cryptography☆230Updated 4 years ago
- Oblivious transfer library for rust☆11Updated 5 years ago
- Fork of https://github.com/signalapp/libsignal-protocol-javascript : see https://signalstar.gforge.inria.fr/☆33Updated 5 years ago
- Prototype of a system for metadata-hiding communication for whistleblowers☆20Updated 5 years ago
- INACTIVE - A C library implementing a basic version of the Prio system for private aggregation. https://crypto.stanford.edu/prio/☆79Updated 4 years ago
- Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"☆89Updated 6 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 5 years ago
- Formal Analysis of the PQXDH Protocol☆26Updated last year
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Optimized implementation of the Picnic signature scheme☆81Updated 3 years ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆38Updated last year
- Elliptic curve arithmetic and cryptography library in pure Rust.☆94Updated 10 years ago
- Verifying constant-time code with symbolic execution☆44Updated 3 years ago
- MLS architecture☆74Updated 5 months ago
- Constant-Time WebAssembly☆24Updated 6 years ago
- Post-quantum key exchange - a new hope.☆23Updated 7 years ago
- Specifications of cryptographic algorithms in Cryptol☆42Updated this week
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆36Updated last year
- ☆14Updated 5 months ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆52Updated 3 months ago