Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).
☆26May 2, 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…☆16Feb 12, 2026Updated 2 months ago
- An embedded-focused banned.h / strsafe variant intended to assist for Secure Software Development Lifecycle for Embedded Developers☆15Jul 30, 2019Updated 6 years ago
- Collection of open-source JavaCard crypto algorithms. Optimized for memory and speed with unified interface☆13Oct 6, 2024Updated last year
- Automated benchmarking and testing of Post-Quantum Public Key Algoritms (work in progress)☆12Jul 27, 2018Updated 7 years ago
- A VHDL IP for ECC (Elliptic Curve Cryptography) hardware acceleration☆47Nov 24, 2025Updated 5 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.
- Distinguisher of Standard & Simulated Elliptic Curves via Traits.☆18Jun 20, 2024Updated last year
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆19Nov 2, 2023Updated 2 years ago
- Wireshark dissector for wirelessHART☆13Aug 2, 2017Updated 8 years ago
- ☆12Jan 5, 2022Updated 4 years ago
- A phase synchronizer for multiple SDR devices☆14Jul 23, 2018Updated 7 years ago
- Pure Rust implementation of the Leighton Micali Signature scheme.☆15Nov 17, 2025Updated 5 months ago
- Latex classes for IACR publications.☆15Apr 1, 2026Updated last month
- HILA5 KEM/DEM. Reference and Optimized Implementations + NIST PQC Submission Documents☆18Apr 4, 2018Updated 8 years ago
- Vylepšenie NCZI očkovacieho formuláru☆11Mar 22, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆13Sep 6, 2021Updated 4 years ago
- JavaCard project template for building CAP and running JCardSim with gradle + coverage☆19Mar 24, 2024Updated 2 years ago
- A free and open source tool for Deep Learning Side Channel Analysis☆17Oct 31, 2019Updated 6 years ago
- 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
- Small library for JavaCard CAP file parsing and verification - MOVED to https://github.com/martinpaljak/ant-javacard☆18Nov 15, 2023Updated 2 years ago
- Attacking ECDSA with nonce leakage using lattice-based algorithms☆45Nov 19, 2025Updated 5 months ago
- A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk …☆26Jun 6, 2024Updated last year
- Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020☆33Jun 6, 2022Updated 3 years ago
- SIFA-based attacks on AES☆38Dec 14, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Performance profiler for Java Card code☆32Oct 19, 2025Updated 6 months ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆29Jan 17, 2018Updated 8 years ago
- Implementation of mathematical operations with big numbers and elliptic curve points for smart cards with JavaCard platform.☆102Jan 1, 2025Updated last year
- ☆32Nov 10, 2024Updated last year
- Country information for a given IP address.☆11Mar 22, 2015Updated 11 years ago
- Simplified version of flashrom for installing new system firmware☆23Mar 10, 2023Updated 3 years ago
- Documentation for MX Linux☆12Jan 17, 2026Updated 3 months ago
- Javascript free captcha written in PHP☆11Mar 17, 2022Updated 4 years ago
- Urho3D extra minimal examples and demos. Tested in Ubuntu 18.04.☆11Feb 25, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A repository with UEFI research stuff☆16Jun 23, 2023Updated 2 years ago
- Tool for generating Elliptic curve domain parameters☆131Dec 3, 2025Updated 5 months ago
- Javacard implementation of Curve25519 (prototype, work-in-progress)☆32Mar 8, 2021Updated 5 years ago
- ☆24Jul 7, 2022Updated 3 years ago
- Linux Programming Interface Kerrisk☆12Jan 11, 2019Updated 7 years ago
- Protect your sensitive HTML content with this AES encryption HTML loader. User will need to key in password in order to view the HTML con…☆11May 5, 2015Updated 11 years ago
- An SSH agent for hardware backed keys on Windows☆54Feb 4, 2024Updated 2 years ago