Key Transparency Auditor for Signal
☆19Oct 21, 2026Updated 2 weeks ago
Alternatives and similar repositories for signal-auditor
Users that are interested in signal-auditor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Key transparency server☆38Oct 22, 2026Updated 2 weeks ago
- Formal Analysis of the PQXDH Protocol☆34Jun 6, 2024Updated 2 years ago
- Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.☆72Sep 16, 2026Updated last month
- Decentralised Voting Scheme☆17Dec 5, 2021Updated 4 years ago
- ☆12Apr 23, 2026Updated 6 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.
- Learn cryptography with formal proofs☆13Jul 25, 2026Updated 3 months ago
- A collection of helpers for reproducible images☆15Aug 24, 2026Updated 2 months ago
- Air is a free and easy-to-use secure messaging app.☆88Updated this week
- Rust port of the Tamarin Prover☆16Updated this week
- Trusted Timestamping Framework for Scientific Research☆16Sep 23, 2025Updated last year
- Affinidi Trust Development Kit - Rust☆15Updated this week
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆18Dec 16, 2024Updated last year
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆72Mar 26, 2026Updated 7 months ago
- DY* with extrinsic proofs☆16Oct 22, 2026Updated 2 weeks 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.
- The protocol used for communicating between the Threema mobile apps and a remote application (e.g. Threema Web).☆25Apr 16, 2024Updated 2 years ago
- Architecture testing and dependency rules for C++ projects☆23Jul 26, 2026Updated 3 months ago
- An active, public list of project ideas related to NFCxZK☆10Dec 6, 2023Updated 2 years ago
- Substream Based Subgraphs☆11Oct 25, 2024Updated 2 years ago
- Implementation of the Clap language for ZK Circuits in the Lean proof-assistant☆16Oct 28, 2026Updated last week
- ☆18Dec 8, 2025Updated 11 months ago
- Slides and other working group materials☆11Feb 5, 2024Updated 2 years ago
- Burp Suite Extension useful to inspect UPnP security☆17Nov 9, 2021Updated 5 years ago
- ℁ Retrieve your external IP address via DNS☆16Mar 3, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Learn Lean 4 by fixing 70 small exercises, one at a time☆27Sep 8, 2026Updated 2 months ago
- An SMT solver for program verification☆20Updated this week
- Go Modsecurity Library - Extracted from https://github.com/Freeaqingme/diato☆10Jan 5, 2021Updated 5 years ago
- Some Arduino RX5808 Lap Timer experiments☆10May 13, 2017Updated 9 years ago
- Build a pseudonymous online identity in minutes☆11Feb 10, 2022Updated 4 years ago
- Cracking 2DES using a meet-in-the-middle attack implemented in python 3.☆15Sep 27, 2015Updated 11 years ago
- Linux local privilege escalation via TIOCSTI tty injection.☆14Updated this week
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆21Mar 18, 2025Updated last year
- A foundational framework for modular cryptographic proofs in Coq☆91Updated this week
- 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.
- RACF Database Parser☆13Apr 4, 2024Updated 2 years ago
- 🐀 Regular Expression Denial of Service analyzer.☆27Apr 17, 2026Updated 6 months ago
- A simple script to insert a qFlipper screenshot into a Flipper Zero frame☆12Feb 10, 2023Updated 3 years ago
- Web server to receive uploaded LaTeX and execute it in a docker container.☆17Sep 2, 2026Updated 2 months ago
- Jsonnet language support for Zed☆18Oct 31, 2026Updated last week
- 📊 A small tool for displaying the WiFi traffic around you in the terminal.☆18Nov 3, 2019Updated 7 years ago
- A formal verification of Linear PCP SNARKs.☆64Aug 15, 2026Updated 2 months ago
Are these results useful?