A guided overview of relevant and current concepts in applied cryptography
☆20Jul 13, 2026Updated 2 months ago
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.☆28Updated this week
- An AI-Powered Privacy Threat Modeling tool based on the LINDDUN framework by leveraging Large Language Models.☆27Aug 6, 2026Updated 2 months ago
- Perceptual hashing library in python (with redis)☆14Mar 26, 2021Updated 5 years ago
- FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings☆13Apr 12, 2023Updated 3 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆18Oct 19, 2023Updated 2 years ago
- 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.
- Cryptographic protocol analysis for students and engineers.☆10Aug 27, 2019Updated 7 years ago
- DY* with extrinsic proofs☆16Jul 2, 2026Updated 3 months ago
- Faster, Smaller, Harder HPKE for Rust☆29Aug 23, 2026Updated last month
- AES Galois Extended Mode☆24Feb 9, 2026Updated 8 months ago
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- Site for tldr.fail☆39Dec 29, 2025Updated 9 months ago
- High Assurance Cryptographic Software☆10Sep 1, 2026Updated last month
- MQT-TZ Fork of the Open Source mosquitto MQTT broker leveraging ARM TrustZone. https://mosquitto.org☆11Jul 23, 2020Updated 6 years ago
- A tutorial for low-level C++ linkage, meant for people with 0 C++ knowledge☆23Apr 25, 2023Updated 3 years 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.
- Online engine for reasoning about the Noise Protocol Framework.☆21Apr 7, 2026Updated 6 months ago
- AutoSecGPT is an AI-power tool that supports security teams to model threats associated with their automotive application to ease the pro…☆16Apr 28, 2025Updated last year
- 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 set of cryptographic proofs for simple protocols, to be formalised in various tools.☆28Mar 25, 2026Updated 6 months ago
- 🎨 A theme for the Zed text editor that utilises your wal colour scheme☆29Jul 4, 2025Updated last year
- A simple script to check whenever a user log in or log out from your system.☆10Oct 2, 2020Updated 6 years ago
- Evaluation and visualization of simple arithmetic expressions in Haskell.☆24Jul 27, 2017Updated 9 years ago
- ☆14Dec 14, 2020Updated 5 years 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.
- A script for compiling and updating FlashGBX natively on macOS☆13Mar 6, 2025Updated last year
- A unified SDK for IronCore encryption operations including vector encryption for AI data☆30Oct 2, 2026Updated last week
- Repo has moved to https://github.com/tlsref/tls-cipher-suites☆25Jun 22, 2026Updated 3 months ago
- Next level Java web security framework☆22Jun 22, 2026Updated 3 months ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆53Sep 21, 2026Updated 2 weeks ago
- We migrated the development here https://github.com/UNICT-DMI/Telegram-DMI-Bot☆12Oct 26, 2020Updated 5 years ago
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated last year
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆99Oct 2, 2026Updated last week
- Another vulnerability scanner☆18Aug 9, 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 command line version of miniLock☆21Dec 28, 2015Updated 10 years ago
- A lightweight Key-Policy Attribute-Based Encryption scheme in C++☆27Jan 29, 2018Updated 8 years ago
- A possibile revision to the JSON-Patch format☆45May 8, 2014Updated 12 years ago
- FuzzSSH is a free software tool created to detect SSH (protocol) vulnerabilities.☆16Jan 13, 2022Updated 4 years ago
- A Static and Extensible Black-box Application Security Testing tool for iOS and Android applications☆39Sep 28, 2026Updated last week
- Dexy Themes For Plasma Desktop☆21Dec 11, 2025Updated 10 months ago
- A mod for Balatro which adds a window showing the possible poker hands that you can make with your current hand☆28May 14, 2024Updated 2 years ago