A guided overview of relevant and current concepts in applied cryptography
☆20Jul 13, 2026Updated last month
Alternatives and similar repositories for The-Hitchhiker-s-Guide-to-Applied-Cryptography
Users that are interested in The-Hitchhiker-s-Guide-to-Applied-Cryptography are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mirror. Canonical repository available at https://git.cedarcrypt.org.☆25Updated this week
- An open-source modular framework capable of identifying a wide range of TLS vulnerabilities and assessing compliance with multiple guidel…☆52Updated this week
- ☆33Aug 20, 2026Updated last week
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆18Oct 19, 2023Updated 2 years ago
- DY* with extrinsic proofs☆15Jul 2, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code☆20Jun 19, 2024Updated 2 years ago
- AES Galois Extended Mode☆24Feb 9, 2026Updated 6 months ago
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Aug 19, 2026Updated last week
- Site for tldr.fail☆37Dec 29, 2025Updated 8 months ago
- High Assurance Cryptographic Software☆10Jun 1, 2026Updated 2 months ago
- MQT-TZ Fork of the Open Source mosquitto MQTT broker leveraging ARM TrustZone. https://mosquitto.org☆11Jul 23, 2020Updated 6 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆37Feb 28, 2020Updated 6 years ago
- The set of standards that Geomys maintainers strive to uphold in our professional activity as open source maintainers☆44Oct 23, 2025Updated 10 months ago
- Online engine for reasoning about the Noise Protocol Framework.☆21Apr 7, 2026Updated 4 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- Font and HTML editor for 12 hole ocarina tabs☆14Feb 9, 2017Updated 9 years ago
- 🎨 A theme for the Zed text editor that utilises your wal colour scheme☆29Jul 4, 2025Updated last year
- Client-side proving benchmarks☆22Aug 20, 2026Updated last week
- A simple script to check whenever a user log in or log out from your system.☆10Oct 2, 2020Updated 5 years ago
- ☆14Dec 14, 2020Updated 5 years ago
- A script for compiling and updating FlashGBX natively on macOS☆13Mar 6, 2025Updated last year
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆51Apr 24, 2026Updated 4 months ago
- Simple program to enable/disable Yubikeys on Linux☆16Jun 10, 2020Updated 6 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.
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated last year
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆99Jul 20, 2026Updated last month
- Jolt-compatible zkVM prover in pure Zig with zero dependencies, zero FFI☆31May 4, 2026Updated 3 months ago
- A lightweight Key-Policy Attribute-Based Encryption scheme in C++☆28Jan 29, 2018Updated 8 years ago
- Data analityics and dashboards about your perfomance inside neovim?☆12May 22, 2024Updated 2 years ago
- Dexy Themes For Plasma Desktop☆21Dec 11, 2025Updated 8 months ago
- Ruby implementation of TJSON☆22Jun 1, 2021Updated 5 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆77Sep 23, 2022Updated 3 years ago
- A tool for running presentations without fluff. Effectively a spiritual fork of the `suckless` tool, `sent`. 🍃☆10Nov 5, 2025Updated 9 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 simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.☆19Feb 28, 2023Updated 3 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆31Jan 17, 2018Updated 8 years ago
- ☆11Nov 18, 2025Updated 9 months ago
- Cryptographic protocol analysis for real-world protocols.☆119Updated this week
- Linux upstream vulnerabilities data suitable for dep-scan☆23Updated this week
- ☆12Jul 31, 2026Updated last month
- spring4shell | CVE-2022-22965☆23Jun 30, 2022Updated 4 years ago