Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).
☆32Sep 23, 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:
- 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 4 months 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
- A VHDL IP for ECC (Elliptic Curve Cryptography) hardware acceleration☆50Jul 21, 2026Updated 2 months 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.
- 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 5 years ago
- Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020☆34Jun 6, 2022Updated 4 years ago
- Collection of open-source JavaCard crypto algorithms. Optimized for memory and speed with unified interface☆14Oct 6, 2024Updated last year
- A repository of Security Engineering exercises: these exercises are designed to prepare you for interviews.☆25Updated this week
- Automated testing tool for algorithms from JavaCard API supported by particular smart card. Performance testing of almost all available m…☆143Jul 16, 2026Updated 2 months ago
- ETSI TS 103 097 v1.2.1 - v.1.2.5 library (outdated)☆12Mar 21, 2018Updated 8 years ago
- Class libraries for JavaCard☆23Sep 26, 2020Updated 6 years ago
- Open Source Development Course☆25Apr 23, 2022Updated 4 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.
- ☆10Apr 28, 2026Updated 5 months ago
- The anonymous credentials zoo☆16Mar 17, 2021Updated 5 years ago
- OpenControl Database☆11Jan 5, 2023Updated 3 years ago
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆21Nov 2, 2023Updated 2 years ago
- High-Speed Hardware Architecture for Falcon Signature Generation Algorithm☆15Feb 27, 2025Updated last year
- Pure Rust implementation of the Leighton Micali Signature scheme.☆15Nov 17, 2025Updated 10 months ago
- The libacvp library is a client-side implementation of the draft ACVP protocol (github.com/usnistgov/ACVP).☆77Jun 3, 2026Updated 3 months ago
- A phase synchronizer for multiple SDR devices☆15Jul 23, 2018Updated 8 years ago
- OQS Technical Steering Committee resources☆16Updated this week
- 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.
- 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
- Python Elliptic Curve Side-Channel Analysis toolkit.☆65Jun 3, 2026Updated 3 months ago
- Sending and receiving protobuf using NIO socket☆14Jan 24, 2026Updated 8 months 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
- ☆10May 13, 2026Updated 4 months ago
- Industry Working Group on Automated Cryptographic Algorithm Validation☆211Sep 21, 2026Updated last week
- Intrusion Detection System (IDS) for Wireless Sensor Networks (WSN)☆19Apr 5, 2013Updated 13 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.
- 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
- CLI spyserver client to provide basic rtl_sdr and rtl_power-like outputs from an Airspy spyserver.☆26Jul 4, 2022Updated 4 years ago
- RFNoC out-of-tree module for a channelizer☆17Mar 14, 2018Updated 8 years ago
- ☆16Jun 7, 2026Updated 3 months ago
- A GNU Radio module of a digital beamformer prototype for GNSS receivers☆21Jun 9, 2016Updated 10 years ago
- ☆25Updated this week