Key transparency server
☆17Jun 25, 2026Updated last month
Alternatives and similar repositories for key-transparency-server
Users that are interested in key-transparency-server are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Your Key Transparency auditor companion☆40Apr 23, 2026Updated 3 months ago
- ☆14Apr 14, 2025Updated last year
- Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.☆70Jul 20, 2026Updated 2 weeks ago
- Javascript implementation of the Ristretto255 group operations, built on top of the popular TweetNaCl.js crypto library☆34Dec 13, 2023Updated 2 years ago
- Cross-platform Rust wrappers for the PCI ID Repository☆12Oct 3, 2025Updated 10 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆19Dec 8, 2025Updated 8 months ago
- DY* with extrinsic proofs☆15Jul 2, 2026Updated last month
- Domino: Computer-Assisted Game-Hopping for Large-Scale Protocols☆17Updated this week
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 7 months ago
- ☆16Aug 12, 2025Updated 11 months ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆14Apr 19, 2023Updated 3 years ago
- Verified implementations for the Noise family of protocols☆17Jun 18, 2024Updated 2 years ago
- Utility that allows generating and manipulating Tink keysets☆32Jul 10, 2026Updated 3 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Compositional Verification of Security Protocols☆34May 7, 2026Updated 3 months ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆71Mar 26, 2026Updated 4 months ago
- An explainer to propose how the WebCrypto API can be extended to support Hardware Backed keys☆23Jun 6, 2025Updated last year
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated last year
- An SMT solver for program verification☆19Updated this week
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆39Sep 10, 2024Updated last year
- Cracking 2DES using a meet-in-the-middle attack implemented in python 3.☆15Sep 27, 2015Updated 10 years ago
- Some extra functions to work with modular arithmetics using native JS implementation of BigInt.☆23Jul 18, 2023Updated 3 years ago
- Air is a free and easy-to-use secure messaging app.☆76Updated 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.
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆55Jul 21, 2026Updated 2 weeks ago
- The Candle theorem prover (fork of the HOL Light sources)☆26Updated this week
- 🐀 Regular Expression Denial of Service analyzer.☆27Apr 17, 2026Updated 3 months ago
- CN separation logic refinement type system for C☆61Updated this week
- An implementation of Messaging Layer Security (RFC 9420)☆243Updated this week
- An implementation of Oblivious RAM☆41May 31, 2026Updated 2 months ago
- A foundational framework for modular cryptographic proofs in Coq☆89Jul 23, 2026Updated 2 weeks ago
- Formal Analysis of the PQXDH Protocol☆33Jun 6, 2024Updated 2 years ago
- RES-Q: Evaluating the Code-Editing Capability of Large Language Model Systems at the Repository Scale☆28Updated this week
- 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.
- Implementation of Prio in Rust.☆122Updated this week
- ☆47Aug 31, 2023Updated 2 years ago
- A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems☆33Aug 13, 2019Updated 6 years ago
- Implemention of Hierarchical Identity-Based Encryption☆24Dec 16, 2021Updated 4 years ago
- [Astronomical Journal 2024] Efficient Point-spread Function Modeling with ShOpt.jl: A PSF Benchmarking Study with JWST NIRCam Imaging☆25Oct 22, 2024Updated last year
- Implementations of proof-carrying data☆37Jun 5, 2022Updated 4 years ago
- Go implementation of OPAQUE (RFC 9807), the asymmetric password-authenticated key exchange protocol.☆77May 5, 2026Updated 3 months ago