Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).
☆32Sep 3, 2026Updated this week
Alternatives and similar repositories for sec-certs
Users that are interested in sec-certs 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 automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level framework…☆20Jul 2, 2026Updated 2 months ago
- ☆12Jan 5, 2022Updated 4 years ago
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆90May 20, 2026Updated 3 months ago
- A VHDL IP for ECC (Elliptic Curve Cryptography) hardware acceleration☆50Jul 21, 2026Updated last month
- An embedded-focused banned.h / strsafe variant intended to assist for Secure Software Development Lifecycle for Embedded Developers☆15Jul 30, 2019Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- SIFA-based attacks on AES☆37Dec 14, 2024Updated last year
- Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020☆34Jun 6, 2022Updated 4 years ago
- Automated testing tool for algorithms from JavaCard API supported by particular smart card. Performance testing of almost all available m…☆142Jul 16, 2026Updated last month
- Automated benchmarking and testing of Post-Quantum Public Key Algoritms (work in progress)☆12Jul 27, 2018Updated 8 years ago
- ETSI TS 103 097 v1.2.1 - v.1.2.5 library (outdated)☆12Mar 21, 2018Updated 8 years ago
- Profiler for JavaCard code and a rewrite of OpenCryptoProject/JCProfiler with easier usage and much more!☆16Aug 27, 2026Updated last week
- ☆12Jan 13, 2022Updated 4 years ago
- Distinguisher of Standard & Simulated Elliptic Curves via Traits.☆18Jun 20, 2024Updated 2 years ago
- Provides common files for instances of mupq, e.g., for pqm4 and pqriscv☆15Jan 6, 2026Updated 8 months ago
- 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.
- Wireshark dissector for wirelessHART☆13Aug 2, 2017Updated 9 years ago
- ☆15Oct 31, 2021Updated 4 years ago
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆21Nov 2, 2023Updated 2 years ago
- ☆15Feb 15, 2023Updated 3 years ago
- A phase synchronizer for multiple SDR devices☆15Jul 23, 2018Updated 8 years ago
- GOSTBOX -- A 95-byte program for the 256-byte Streebog/Kuznyechik S-Box.☆17Feb 20, 2021Updated 5 years ago
- Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)☆13Nov 6, 2020Updated 5 years ago
- Sending and receiving protobuf using NIO socket☆14Jan 24, 2026Updated 7 months ago
- ☆12Feb 19, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆17Updated this week
- Industry Working Group on Automated Cryptographic Algorithm Validation☆209Aug 14, 2026Updated 3 weeks ago
- ☆13Sep 6, 2021Updated 5 years ago
- SLotH -- An SLH-DSA/SPHINCS+ Hash-Based Signature Accelerator☆54Mar 18, 2025Updated last year
- Implementations of do255e and do255s in C and assembly☆25May 3, 2021Updated 5 years ago
- A GNU Radio module of a digital beamformer prototype for GNSS receivers☆21Jun 9, 2016Updated 10 years ago
- ☆25Sep 1, 2026Updated last week
- OP-TEE port for the Raspberry Pi 4 platform☆24Nov 18, 2025Updated 9 months ago
- Implementation of HMAC-based One Time Passwords via URL tag of NDEF applet☆28Aug 15, 2022Updated 4 years ago
- 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.
- Reads EMV cards, extract public keys, checks them for ROCA vulnerability (https://crocs.fi.muni.cz/public/papers/rsa_ccs17). Uses code fr…☆26Nov 19, 2017Updated 8 years ago
- List of crackpot 'scientists' and 'thinkers'☆24Jun 22, 2025Updated last year
- MDK3 tool by ASPj☆47Feb 25, 2018Updated 8 years ago
- ☆17Mar 25, 2024Updated 2 years ago
- Localization tool for play framework☆17Jun 7, 2013Updated 13 years ago
- PHP Vulnerability Hunter (fork)☆12May 8, 2015Updated 11 years ago
- ESP32 Marauder Portable IDE creation script☆10Oct 10, 2022Updated 3 years ago