BLISS: Bimodal Lattice Signature Schemes
☆31Jul 10, 2020Updated 6 years ago
Alternatives and similar repositories for Bliss
Users that are interested in Bliss are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Jan 8, 2018Updated 8 years ago
- SRI Sally: A model checker for infinite-state systems.☆80Jul 31, 2025Updated last year
- ☆15Oct 25, 2024Updated last year
- This repository contains code developed by the SRI team for the IARPA/TrojAI program.☆21Jul 1, 2021Updated 5 years ago
- Intrepyd Model Checker☆19Updated this week
- 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.
- ☆13Jan 3, 2026Updated 9 months ago
- An evolving Post-Quantum Cryptography (PQC) RISC-V extension architecture.☆21Updated this week
- An Implementation of the Number Theoretic Transform☆54Aug 23, 2023Updated 3 years ago
- Reference implementation of the BLZZRD variant of the BLISS Ring-LWE Signature Scheme☆17Oct 11, 2016Updated 10 years ago
- WP6 of the SAFEcrypto project - a suite of lattice-based cryptographic schemes☆37Mar 9, 2023Updated 3 years ago
- The People's Verification System☆186Updated this week
- Quantum random number generator with CQC extractor☆17Sep 17, 2021Updated 5 years ago
- ☆12Jul 23, 2024Updated 2 years ago
- Quantum Random Keys via Entanglement. QRAKEN is a certified quantum random number generator for the Qiskit framework.☆14Feb 21, 2020Updated 6 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.
- ☆25Aug 9, 2022Updated 4 years ago
- C crypto library☆25Aug 2, 2023Updated 3 years ago
- DARPA CASE program☆16Jun 10, 2025Updated last year
- Statistically Acceptable GAussian☆14Jul 10, 2026Updated 3 months ago
- Raccoon Signature Scheme -- Reference Code☆15Jul 12, 2023Updated 3 years ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Oct 19, 2022Updated 3 years ago
- Multi-input functional encryption☆12Feb 8, 2018Updated 8 years ago
- Lattice-based signature schemes☆11Nov 17, 2023Updated 2 years ago
- Example code demonstrating ecdh key agreement using openssl evp library.☆11Feb 20, 2018Updated 8 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.
- ☆10Jan 24, 2022Updated 4 years ago
- An SMT solver for program verification☆20Oct 6, 2026Updated last week
- A StableHLO analyzer in Lean☆23Jul 22, 2025Updated last year
- Wrapper of the OpenSSL elliptic curve functions for easy Python manipulation☆11Apr 30, 2014Updated 12 years ago
- Inline PTX Assembly in CUDA example☆15Oct 5, 2026Updated last week
- ☆12Feb 4, 2022Updated 4 years ago
- Binary or Hex to QR Code site☆14Aug 12, 2016Updated 10 years ago
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆12Dec 18, 2017Updated 8 years ago
- PQC-LEO is a comprehensive benchmarking framework for Post-Quantum Cryptography (PQC) research. It automates setup, testing, and analysis…☆50Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Exploration of NIST post-quantum signatures on-ramp candidates☆47Oct 7, 2026Updated last week
- ☆72Mar 2, 2021Updated 5 years ago
- ☆12Jan 5, 2022Updated 4 years ago
- Repository code to support paper TCHES2020 paper "Remove Some Noise: On Pre-processing of Side-channel Measurements with Autoencoders"☆14Jun 4, 2022Updated 4 years ago
- ☆13Apr 9, 2018Updated 8 years ago
- This plug-in provides Homebridge support for Philips TVs running SaphiOS.☆11Apr 22, 2023Updated 3 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years ago