Easy botan integration into cmake projects using automatically generated amalgamation files.
☆18Oct 7, 2024Updated last year
Alternatives and similar repositories for botan-cmake
Users that are interested in botan-cmake are comparing it to the libraries listed below
Sorting:
- Bottom-up memory-safety for assembly language using symbolic execution☆17Feb 19, 2026Updated last week
- Bilingual Implementation of TLS1.3 in C++ and Rust☆11Feb 6, 2026Updated 3 weeks ago
- Pin-Based Constant Execution Checker (Pin-based CEC)☆20Mar 31, 2025Updated 11 months ago
- ☆23Apr 5, 2025Updated 10 months ago
- library providing OPRF and Threshold OPRF based on libsodium☆31Feb 23, 2026Updated last week
- A memory-hard password hashing function.☆71May 29, 2023Updated 2 years ago
- Unnoficial solutions (still under construction) to Nielsen and Chuang's "Quantum Computation and Quantum Information" - 10th anniversary …☆19Feb 11, 2026Updated 2 weeks ago
- ACVP Parser for invocation of cryptographic implementations using the ACVP JSON test vectors☆44Nov 17, 2025Updated 3 months ago
- Haskell bindings for the Botan cryptography library☆45Jan 26, 2026Updated last month
- SQL Server Always Encrypted Key Store Generic Provider for Key Store Interopearibility between Windows and Linux☆11Oct 24, 2018Updated 7 years ago
- A tool for secret-shared passphrases.☆14Jan 17, 2022Updated 4 years ago
- Yandex browser password recovery☆11Apr 9, 2025Updated 10 months ago
- OpenQase is a community resource for curated quantum computing case studies and associated algorithms.☆15Feb 23, 2026Updated last week
- ☆13Apr 22, 2024Updated last year
- Solutions to math olympiad problems in Isabelle/HOL☆11May 29, 2021Updated 4 years ago
- Post-quantum trusted time-stamping server☆17Dec 11, 2024Updated last year
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- DSP filter experiments on the STM32F746, CW audio filter☆13Apr 24, 2017Updated 8 years ago
- CloudedBats.org - main repository☆10Mar 19, 2022Updated 3 years ago
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Dec 18, 2023Updated 2 years ago
- RAINS (Another Internet Naming Service)☆10Feb 25, 2025Updated last year
- CRM система на C++, Qt6 в качестве практ ики в БГУИР☆11Feb 27, 2023Updated 3 years ago
- ☆11Oct 1, 2025Updated 5 months ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Aug 6, 2021Updated 4 years ago
- CLI utilty to work out proper constants for vpternlogic instruction☆13Jan 22, 2023Updated 3 years ago
- Implementation of the Fish and Begol signature schemes☆14Jul 3, 2017Updated 8 years ago
- Utility to benchmark speed of operations of a PKCS#11 implementation.☆13Updated this week
- AEAD encryption using Trusted Platform Module (TPM)☆12Jan 5, 2026Updated last month
- A Dockerfile for building the TLA+ tools☆13Dec 30, 2018Updated 7 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Apr 19, 2023Updated 2 years ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆21Dec 3, 2025Updated 2 months ago
- ☆10May 2, 2022Updated 3 years ago
- OCaml parsers for multiple key formats☆15Aug 1, 2024Updated last year
- Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)☆60Jun 13, 2025Updated 8 months ago
- EncKV: An Encrypted Key-value Store with Rich Queries☆11Oct 10, 2017Updated 8 years ago
- A high-performance, thread-safe channel implementation in C++17, inspired by Go's channels☆16Jul 28, 2024Updated last year
- Optimized implementation of ring-TESLA☆11Aug 4, 2016Updated 9 years ago
- Plonky2 implementation of Ed25519☆11Apr 5, 2024Updated last year
- Collection of open-source JavaCard crypto algorithms. Optimized for memory and speed with unified interface☆13Oct 6, 2024Updated last year