Key transparency server
☆37Aug 18, 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 5 months ago
- ☆14Apr 14, 2025Updated last year
- Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.☆71Sep 16, 2026Updated 3 weeks ago
- Javascript implementation of the Ristretto255 group operations, built on top of the popular TweetNaCl.js crypto library☆35Dec 13, 2023Updated 2 years ago
- A formally verified symbolic cryptography library for Lean☆19Feb 18, 2026Updated 7 months ago
- 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.
- Cross-platform Rust wrappers for the PCI ID Repository☆12Oct 3, 2025Updated last year
- ☆18Dec 8, 2025Updated 10 months ago
- DY* with extrinsic proofs☆16Jul 2, 2026Updated 3 months ago
- Domino: Computer-Assisted Game-Hopping for Large-Scale Protocols☆18Updated this week
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- ☆16Aug 12, 2025Updated last year
- 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☆33Oct 1, 2026Updated last week
- 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.
- Rust tools for working with UEFI SBAT☆20Sep 6, 2026Updated last month
- This is a toy implementation of the dudect ideas in Go. All credit goes to Oscar Reparaz, Josep Balasch and Ingrid Verbauwhede for dudect…☆19Jul 12, 2017Updated 9 years ago
- Compositional Verification of Security Protocols☆36Sep 29, 2026Updated last week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆71Mar 26, 2026Updated 6 months ago
- An explainer to propose how the WebCrypto API can be extended to support Hardware Backed keys☆23Jun 6, 2025Updated last year
- Verify Cairo contracts in Lean 4☆21May 22, 2025Updated last year
- An SMT solver for program verification☆20Updated this week
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆40Sep 10, 2024Updated 2 years ago
- Cracking 2DES using a meet-in-the-middle attack implemented in python 3.☆15Sep 27, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A collection of high-performance crypto implementations.☆56Sep 30, 2026Updated last week
- Air is a free and easy-to-use secure messaging app.☆82Updated this week
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆55Jul 21, 2026Updated 2 months ago
- 🐀 Regular Expression Denial of Service analyzer.☆27Apr 17, 2026Updated 5 months ago
- CN separation logic refinement type system for C☆61Updated this week
- An implementation of Oblivious RAM☆43May 31, 2026Updated 4 months ago
- An implementation of Messaging Layer Security (RFC 9420)☆258Sep 17, 2026Updated 3 weeks ago
- A foundational framework for modular cryptographic proofs in Coq☆90Jul 23, 2026Updated 2 months ago
- Formal Analysis of the PQXDH Protocol☆34Jun 6, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A file encryption application based on the Identity-based proxy re-encryption☆16Nov 23, 2018Updated 7 years ago
- "Threema protocol analysis" paper (including LaTeX sources)☆18Oct 6, 2016Updated 10 years ago
- Web server to receive uploaded LaTeX and execute it in a docker container.☆17Sep 2, 2026Updated last month
- Tools to speed up migration from other SSE solutions to Microsoft's Global Secure Access☆20Updated this week
- IBE implementation based on jpbc☆16Jan 9, 2022Updated 4 years ago
- Implementation of Prio in Rust.☆122Oct 1, 2026Updated last week
- ☆47Aug 31, 2023Updated 3 years ago