A guided overview of relevant and current concepts in applied cryptography
☆20Jul 13, 2026Updated 3 weeks 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:
- An AI-Powered Privacy Threat Modeling tool based on the LINDDUN framework by leveraging Large Language Models.☆28Updated this week
- 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
- Feed the hundreds of millions of domains in the Common Crawl to zgrab☆10Aug 3, 2019Updated 7 years ago
- ☆33Updated 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.
- 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
- Faster, Smaller, Harder HPKE for Rust☆28Jul 28, 2026Updated last week
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- High Assurance Cryptographic Software☆10Jun 1, 2026Updated 2 months ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆37Feb 28, 2020Updated 6 years ago
- Online engine for reasoning about the Noise Protocol Framework.☆21Apr 7, 2026Updated 4 months ago
- Put Nietzsche in your fortunes.☆11Feb 17, 2015Updated 11 years ago
- Font and HTML editor for 12 hole ocarina tabs☆14Feb 9, 2017Updated 9 years 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 set of cryptographic proofs for simple protocols, to be formalised in various tools.☆27Mar 25, 2026Updated 4 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 5 years ago
- ☆14Dec 14, 2020Updated 5 years ago
- A script for compiling and updating FlashGBX natively on macOS☆14Mar 6, 2025Updated last year
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆50Apr 24, 2026Updated 3 months ago
- Next level Java web security framework☆21Jun 22, 2026Updated last month
- Simple program to enable/disable Yubikeys on Linux☆16Jun 10, 2020Updated 6 years ago
- We migrated the development here https://github.com/UNICT-DMI/Telegram-DMI-Bot☆12Oct 26, 2020Updated 5 years 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.
- 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 3 weeks ago
- Another vulnerability scanner☆18Aug 9, 2025Updated last year
- 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?☆13May 22, 2024Updated 2 years ago
- Simple PoC script that allows you to exploit telegram's "send with timer" feature by saving any media sent with this functionality.☆93Jan 24, 2025Updated last year
- FuzzSSH is a free software tool created to detect SSH (protocol) vulnerabilities.☆16Jan 13, 2022Updated 4 years ago
- Dexy Themes For Plasma Desktop☆21Dec 11, 2025Updated 8 months ago
- 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
- 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.
- Minimal HTML 5 Presentation Platform☆23Sep 19, 2016Updated 9 years ago
- Grabs Free Learning eBook from PacktPub (everyday) & notifies You via Email.☆23Oct 6, 2017Updated 8 years ago
- Cryptographic protocol analysis for real-world protocols.☆109Updated this week
- Constant time big numbers for Go☆105Feb 26, 2025Updated last year
- spring4shell | CVE-2022-22965☆23Jun 30, 2022Updated 4 years ago
- Hover - Temporary home directories☆15Nov 5, 2023Updated 2 years ago
- A constant-time library for big integers modulo a prime, usable for cryptographic applications. Exported from crypto/internal/bigmod, the…☆16Jan 3, 2026Updated 7 months ago