☆18Dec 8, 2025Updated 10 months ago
Alternatives and similar repositories for hpke
Users that are interested in hpke are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Post-Quantum Algorithms for HPKE☆13Jul 6, 2026Updated 3 months ago
- I-D for a general purpose KEM (key encapsulation mechanism) that includes a hash at the end☆10Oct 14, 2026Updated 2 weeks ago
- A collection of open source tlog tooling.☆31Updated this week
- ☆14Apr 14, 2025Updated last year
- Package xaes256gcm implements the XAES-256-GCM extended-nonce AEAD.☆20Jul 14, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.☆71Sep 16, 2026Updated last month
- Go implementation of Merkle Tree Certificates☆30Nov 5, 2025Updated 11 months ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆28Oct 19, 2026Updated last week
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆21Mar 18, 2025Updated last year
- Formal Analysis of the PQXDH Protocol☆34Jun 6, 2024Updated 2 years ago
- Community Cryptography Specification Project☆683Oct 22, 2026Updated last week
- Domino: Computer-Assisted Game-Hopping for Large-Scale Protocols☆19Updated this week
- Deterministic key generation for Go.☆24Jun 25, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A collection of helpers for reproducible images☆15Aug 24, 2026Updated 2 months ago
- Your Key Transparency auditor companion☆40Apr 23, 2026Updated 6 months ago
- Community Cryptography Test Vectors☆111Sep 25, 2026Updated last month
- ☆17Apr 14, 2022Updated 4 years ago
- ☆11Nov 18, 2025Updated 11 months ago
- ☆14Oct 8, 2020Updated 6 years ago
- FIPS-204 (ML-DSA) implementation in Go☆25Jul 10, 2026Updated 3 months ago
- age plugin for keeping keys with a TKey USB security key☆37Sep 11, 2025Updated last year
- DyLean, a framework for the symbolic analysis of cryptographic protocols☆22Oct 15, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Docker Registry Authentication Made Simple☆11Oct 15, 2026Updated 2 weeks ago
- Key Transparency Auditor for Signal☆19Oct 21, 2026Updated last week
- Learn Lean 4 by fixing 70 small exercises, one at a time☆27Sep 8, 2026Updated last month
- ☆47Aug 10, 2025Updated last year
- RISC-V instruction decoder written in Rust.☆17Dec 31, 2025Updated 9 months ago
- Compositional Verification of Security Protocols☆37Updated this week
- ☆32Nov 21, 2023Updated 2 years ago
- HTTP/1.1 Library for Rust☆14Oct 22, 2026Updated last week
- Technical Advisory – Hash Denial-of-Service Attack in Multiple QUIC Implementations☆11May 7, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A free non-credit course titled Blockchain and Cryptocurrencies. The lectures will be once a week and ran by B@C officers, industry leade…☆19Nov 10, 2018Updated 7 years ago
- Key transparency server☆38Oct 22, 2026Updated last week
- ABE GPSW scheme using BLS pairing implemented in Rust.☆17May 23, 2023Updated 3 years ago
- Powershell file-copier plugin for Rundeck☆10Jul 21, 2016Updated 10 years ago
- Cryptographic protocol analysis for real-world protocols.☆135Oct 20, 2026Updated last week
- Linux uhid api in Go.☆13Sep 27, 2023Updated 3 years ago
- Collection of Key Encapsulation Mechanisms written in pure Rust☆120Updated this week