Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).
☆33Oct 13, 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…☆22Sep 29, 2026Updated 2 weeks ago
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆90Sep 29, 2026Updated 2 weeks ago
- JavaCard project template for building CAP and running JCardSim with gradle + coverage☆21Mar 24, 2024Updated 2 years ago
- javacard framework in python☆22Nov 18, 2022Updated 3 years ago
- Tool for generation of data from cryptoprimitives (block and stream ciphers, hash functions). Cryptoprimitives are round-reduced and the …☆14Nov 11, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Class libraries for JavaCard☆23Sep 26, 2020Updated 6 years ago
- An embedded-focused banned.h / strsafe variant intended to assist for Secure Software Development Lifecycle for Embedded Developers☆15Jul 30, 2019Updated 7 years ago
- Export files for GlobalPlatform APIs☆14Sep 30, 2020Updated 6 years ago
- Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020☆34Jun 6, 2022Updated 4 years ago
- A repository of Security Engineering exercises: these exercises are designed to prepare you for interviews.☆25Updated this week
- Research initiative to make TLS certificate validation usable.☆23May 10, 2024Updated 2 years ago
- ☆13Nov 2, 2023Updated 2 years ago
- Automated testing tool for algorithms from JavaCard API supported by particular smart card. Performance testing of almost all available m…☆146Sep 29, 2026Updated 2 weeks ago
- ETSI TS 103 097 v1.2.1 - v.1.2.5 library (outdated)☆12Mar 21, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆12Jan 13, 2022Updated 4 years ago
- Distinguisher of Standard & Simulated Elliptic Curves via Traits.☆18Jun 20, 2024Updated 2 years ago
- Practical Implementation of the Maurer Reduction☆11Jul 13, 2023Updated 3 years ago
- ☆15Oct 31, 2021Updated 4 years ago
- Open Source Development Course☆25Apr 23, 2022Updated 4 years ago
- OpenControl Database☆11Jan 5, 2023Updated 3 years ago
- ☆15Feb 15, 2023Updated 3 years ago
- High-Speed Hardware Architecture for Falcon Signature Generation Algorithm☆15Feb 27, 2025Updated last year
- Cryptographic Library for Anonymous Reputation and Credentials☆12Dec 5, 2021Updated 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.
- Environment Data Model☆15Oct 7, 2026Updated last week
- SCAPtimony is SCAP database and storage server☆14May 31, 2018Updated 8 years ago
- Example JupyterHub deployment using KeyCloak for authentication.☆12Nov 12, 2019Updated 6 years ago
- Python Elliptic Curve Side-Channel Analysis toolkit.☆65Jun 3, 2026Updated 4 months ago
- ☆12Feb 19, 2019Updated 7 years ago
- The CYC1000 is the next generation of Arrow’s FPGA IoT/Maker boards based on the latest Intel FPGA family Cyclone 10 LP.☆11Jan 27, 2022Updated 4 years ago
- Curated list of open-source TPM (Trusted Platform Module) applications☆27Dec 12, 2021Updated 4 years ago
- ☆13Sep 6, 2021Updated 5 years ago
- ☆21Oct 29, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- RFNoC out-of-tree module for a channelizer☆17Mar 14, 2018Updated 8 years ago
- ☆16Jun 7, 2026Updated 4 months ago
- Implementations of do255e and do255s in C and assembly☆26May 3, 2021Updated 5 years ago
- ☆25Oct 12, 2026Updated last week
- an oc plugin that fetches the raw compliance results generated by the compliance-operator☆16May 18, 2026Updated 5 months ago
- ☆22Oct 8, 2026Updated last week
- A free and open source tool for Deep Learning Side Channel Analysis☆17Oct 31, 2019Updated 6 years ago