☆12Jul 7, 2022Updated 3 years ago
Alternatives and similar repositories for cpt
Users that are interested in cpt are comparing it to the libraries listed below
Sorting:
- Certificate Fuzzer based on the work by Johannes Roth (cryptosource)☆13Jun 23, 2020Updated 5 years ago
- ☆18Jan 26, 2026Updated last month
- Bilingual Implementation of TLS1.3 in C++ and Rust☆12Updated this week
- A cryptographic framework, proven for correctness in SPARK☆15Dec 16, 2024Updated last year
- SPARK Proof Analysis Tool☆17Oct 19, 2020Updated 5 years ago
- JSON/JWK/JWS/JWT/Base64 library in SPARK☆19Oct 12, 2020Updated 5 years ago
- Script generated finite field arithmetic for elliptic curve cryptography☆24Updated this week
- Formally verified, bounded-stack XML library☆24May 26, 2020Updated 5 years ago
- ☆19Jan 14, 2026Updated last month
- A cryptographic library in SPARK 2014☆28Jan 26, 2021Updated 5 years ago
- Tooling for analysis and manipulation of Ada software☆35Oct 18, 2024Updated last year
- SIde-Channel Analysis toolKit: embedded security evaluation tools☆30Dec 31, 2021Updated 4 years ago
- Evaluate and compare SBOMs of Maven projects☆13Mar 3, 2023Updated 3 years ago
- Adapt the SimSpark simulator for SPL rules☆11Jul 9, 2023Updated 2 years ago
- Example of using Protractor with Cucumber and Page Objects☆10Apr 12, 2017Updated 8 years ago
- Ada-bindings for 0mq☆42Nov 17, 2025Updated 3 months ago
- A tool for secret-shared passphrases.☆14Jan 17, 2022Updated 4 years ago
- A Python3 software that validates a client's side SSL/TLS application's X509 verification process☆141Oct 26, 2014Updated 11 years ago
- OWASP Threat Dragon core files☆11Jan 26, 2026Updated last month
- A guide on how to emulate an NVMe SPDM responder device with QEMU and Linux. Additionally, instructions on setting up and testing the (in…☆11Sep 3, 2024Updated last year
- RackHD Web UI☆11Jan 22, 2020Updated 6 years ago
- Alistair's fork of the Linux kernel source tree. Including sources for the mainline reMarkable 2 kernel development, sunxi patches and ot…☆11Feb 16, 2026Updated 2 weeks ago
- SHA-3 and other Keccak related algorithms in SPARK/Ada.☆37Oct 19, 2023Updated 2 years ago
- Unikernel applications framework☆13Jun 1, 2025Updated 9 months ago
- An Ada 2012 package to parse command line arguments and options☆12Apr 3, 2022Updated 3 years ago
- How can you track the hunting techniques you come up with?☆13Sep 3, 2017Updated 8 years ago
- ☆10May 2, 2022Updated 3 years ago
- A first approach of getting a pure Ada program running on an FPGA with SaxonSOC☆11Apr 12, 2021Updated 4 years ago
- Asciidoc template for advanced level curricula☆14Feb 23, 2026Updated last week
- patch to apply to a netbox installation to add beautiful topology view to sites☆13Mar 21, 2019Updated 6 years ago
- Utility to benchmark speed of operations of a PKCS#11 implementation.☆13Feb 26, 2026Updated last week
- Implementation of the Fish and Begol signature schemes☆14Jul 3, 2017Updated 8 years ago
- A library for parsing security advisories☆13Feb 5, 2026Updated last month
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Apr 19, 2023Updated 2 years ago
- Decision trees generated via Graphviz to inform pragmatic threat modelling.☆11Jan 16, 2021Updated 5 years ago
- GNAT Components Collection – Bindings to C libraries☆16Feb 11, 2026Updated 3 weeks ago
- Manage collection of SBOMs (Software Bill of Materials)☆14Mar 25, 2024Updated last year
- ☆16Jul 23, 2024Updated last year
- Build, edit, validate, and export CycloneDX BOMs through an intuitive browser-based interface☆14Updated this week