ACVP Parser for invocation of cryptographic implementations using the ACVP JSON test vectors
☆44Nov 17, 2025Updated 3 months ago
Alternatives and similar repositories for acvpparser
Users that are interested in acvpparser are comparing it to the libraries listed below
Sorting:
- Industry Working Group on Automated Cryptographic Algorithm Validation☆195Dec 1, 2025Updated 3 months ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 4 months ago
- 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
- Easy botan integration into cmake projects using automatically generated amalgamation files.☆18Oct 7, 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
- Pin-Based Constant Execution Checker (Pin-based CEC)☆20Mar 31, 2025Updated 11 months ago
- ☆54Updated this week
- ☆23Apr 5, 2025Updated 10 months ago
- Post-quantum cryptography certificates☆78Feb 10, 2026Updated 2 weeks ago
- ModbusTCP Fuzzing and DoS Tool.☆11Aug 8, 2020Updated 5 years ago
- EDHOC (RFC 9528): Lightweight authenticated key exchange in C for IoT and constrained devices☆14Jan 30, 2026Updated last month
- Haskell bindings for the Botan cryptography library☆45Jan 26, 2026Updated last month
- Taller para la construcción de mini-estación de seguimiento de satélites LoRa basado en el proyecto https://github.com/G4lile0/ESP32-OLED…☆13Jul 23, 2021Updated 4 years ago
- Vim plugin for Bluespec SystemVerilog (BSV)☆11Nov 8, 2020Updated 5 years ago
- This repository focuses on the Daytime delivery of the EVM -> Polygon Bootcamp☆10Nov 23, 2022Updated 3 years ago
- ☆38Mar 20, 2017Updated 8 years ago
- UDP large file transfer protocol and kernel code in java.☆11Feb 23, 2014Updated 12 years ago
- OCaml parsers for multiple key formats☆15Aug 1, 2024Updated last year
- AEAD encryption using Trusted Platform Module (TPM)☆12Jan 5, 2026Updated last month
- ☆11Oct 28, 2020Updated 5 years ago
- CLI utilty to work out proper constants for vpternlogic instruction☆13Jan 22, 2023Updated 3 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Apr 19, 2023Updated 2 years ago
- The Integrated Earth System Model (iESM) couples GCAM (http://www.globalchange.umd.edu/gcam/) to the Community Earth System Model☆15Jun 26, 2017Updated 8 years ago
- Post-quantum trusted time-stamping server☆17Dec 11, 2024Updated last year
- ☆10Apr 12, 2017Updated 8 years ago
- Optimized implementation of ring-TESLA☆11Aug 4, 2016Updated 9 years ago
- The simplest Meteor AngularJS CRUD ever.☆11Oct 9, 2016Updated 9 years ago
- ☆12Apr 13, 2018Updated 7 years ago
- This version of VLC is suitable with ns3 version 3.25. Please dont use an older version than the specified one.☆10Apr 3, 2017Updated 8 years ago
- DSP filter experiments on the STM32F746, CW audio filter☆13Apr 24, 2017Updated 8 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11May 29, 2021Updated 4 years ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆21Dec 3, 2025Updated 3 months ago
- An implementation of Brakerski et al's "Fully homomorphic encryption without bootstrapping"☆11Apr 29, 2013Updated 12 years ago
- Plonky2 implementation of Ed25519☆11Apr 5, 2024Updated last year
- A high-performance, thread-safe channel implementation in C++17, inspired by Go's channels☆16Jul 28, 2024Updated last year
- Docker: Alpine Linux and Wekan <=> MongoDB☆10Mar 27, 2025Updated 11 months ago
- Implementation of the Fish and Begol signature schemes☆14Jul 3, 2017Updated 8 years ago
- CloudedBats.org - main repository☆10Mar 19, 2022Updated 3 years ago