crocs-muni / sec-certsLinks
Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).
☆18Updated this week
Alternatives and similar repositories for sec-certs
Users that are interested in sec-certs are comparing it to the libraries listed below
Sorting:
- Python Elliptic Curve Side-Channel Analysis toolkit.☆59Updated 2 months ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆20Updated 3 years ago
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆67Updated last month
- Implementation of the key recovery attack against GEA-1 keys (Eurocrypt 2021)☆48Updated 3 years ago
- List of crackpot 'scientists' and 'thinkers'☆19Updated last week
- Auditing Applied Cryptography☆10Updated 5 years ago
- An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level framework…☆12Updated last week
- ☆11Updated 4 years ago
- tamper resistant audit log☆18Updated 6 years ago
- A permissively licensed, low-level, high-performance cryptographic hash library for hackers.☆19Updated last year
- A repository of tools for verifying constant-timeness☆18Updated 3 months ago
- A tool to help you understand TPM commands and responses.☆44Updated 6 months ago
- BAT KEM/Signature Reference Implementation☆22Updated 3 years ago
- A history of PGP-related vulnerabilities☆24Updated 3 years ago
- A framework for parsing binary data.☆17Updated 2 years ago
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆12Updated last year
- ☆23Updated 2 years ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆62Updated 2 years ago
- Reference implementations of post-quantum cryptographic primitives☆29Updated last year
- ☆20Updated 3 years ago
- Framework for building transparent memory encryption and authentication solutions☆27Updated 6 years ago
- Simple TPM utils in Python for generating random numbers & RSA keys☆19Updated 8 years ago
- Tools for power measurements of post-quantum cryptographic algorithms☆28Updated 5 years ago
- Hardware Accelerated Cold-Boot Attacks☆13Updated 7 years ago
- Donjon hardware tool for circuits security evaluation☆90Updated 2 weeks ago
- Elliptic Curve Cryptography playground/toolkit written in pure Python☆67Updated 2 years ago
- Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020☆28Updated 3 years ago
- Differential fuzzing for elliptic curves☆23Updated last year
- ☆12Updated last year
- Distinguisher of Standard & Simulated Elliptic Curves via Traits.☆18Updated 11 months ago