WP6 of the SAFEcrypto project - a suite of lattice-based cryptographic schemes
☆37Mar 9, 2023Updated 3 years ago
Alternatives and similar repositories for libsafecrypto
Users that are interested in libsafecrypto are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Proof-of-concept implementation of a cryptographic multilinear maps on the integers☆13Sep 23, 2021Updated 5 years ago
- Implementation of lattice-based cryptosystems using JavaScript☆16Jan 25, 2019Updated 7 years ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Oct 19, 2022Updated 3 years ago
- Implementation of cryptographic primitives in Go☆13Mar 13, 2023Updated 3 years ago
- Erlang AAA session implementation for erGW☆12Jun 11, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Lightweight RPC for JS based on Protocol Buffers☆13May 31, 2018Updated 8 years ago
- BLISS: Bimodal Lattice Signature Schemes☆31Jul 10, 2020Updated 6 years ago
- Secure AES128 Encryption Implementation for ATmega8515☆37Feb 15, 2021Updated 5 years ago
- FrodoKEM: Learning with Errors Key Encapsulation. FrodoKEM is a family of key-encapsulation mechanisms that are designed to be conservati…☆163Sep 15, 2026Updated last week
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Jun 3, 2021Updated 5 years ago
- NSQ Client for erlang☆24Apr 19, 2020Updated 6 years ago
- ☆16Jan 8, 2018Updated 8 years ago
- An implementation of the IETF QUIC protocol in F*☆21Aug 8, 2019Updated 7 years ago
- Slides from talks and other materials related to post-quantum crypto☆12Feb 20, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Oct 23, 2017Updated 8 years ago
- Batch Dual Execution framework for secure multiparty computation☆16Jul 3, 2017Updated 9 years ago
- CryptoBib Database for Developers☆46Updated this week
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆86Apr 13, 2022Updated 4 years ago
- Teacup based NATS client for Erlang☆18Oct 13, 2023Updated 2 years ago
- An implementation of the DudeCT constant-time function tester☆30Mar 23, 2026Updated 6 months ago
- ☆27Apr 5, 2025Updated last year
- Automated benchmarking and testing of Post-Quantum Public Key Algoritms (work in progress)☆12Jul 27, 2018Updated 8 years ago
- SIde-Channel Analysis toolKit: embedded security evaluation tools☆30Dec 31, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Reference repository on Lattice-based Cryptography☆26Oct 22, 2024Updated last year
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 3 years ago
- NTT-based Fast Lattice library☆181Oct 14, 2022Updated 3 years ago
- High-order countermeasures for AES and DES☆24Aug 1, 2024Updated 2 years ago
- Post-quantum key exchange - a new hope.☆24Jan 22, 2018Updated 8 years ago
- 基于格密码和密钥复用的后量子邮件加密系统☆16Jul 25, 2025Updated last year
- Implementation of the new multilinear maps over the integers☆10Feb 12, 2019Updated 7 years ago
- ☆27Jul 4, 2025Updated last year
- Code of Round5☆12May 4, 2020Updated 6 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- An EXPERIMENTAL implementation of the CPace PAKE, instantiated with the Ristretto255 group. In Rust☆16Aug 25, 2020Updated 6 years ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 10 months ago
- Proof-of-concept implementation of an identity-based encryption scheme over NTRU lattices☆48Jun 14, 2016Updated 10 years ago
- Proof of Device☆20Jan 20, 2023Updated 3 years ago
- Bottom-up memory-safety for assembly using symbolic execution☆23Feb 19, 2026Updated 7 months ago
- A Practical Ring Learning With Errors (RingLWE) Implementation containing New Hope and Peikert reconciliation for Prime and Power-of-2 ca…☆36May 30, 2018Updated 8 years ago
- HLSL optimizing converter☆22Sep 8, 2018Updated 8 years ago