crocs-muni / sec-certs
Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).
☆18Updated 2 weeks ago
Alternatives and similar repositories for sec-certs
Users that are interested in sec-certs are comparing it to the libraries listed below
Sorting:
- Implementation of the key recovery attack against GEA-1 keys (Eurocrypt 2021)☆48Updated 3 years 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 2 weeks ago
- Python Elliptic Curve Side-Channel Analysis toolkit.☆59Updated last month
- ☆20Updated 3 years ago
- Donjon hardware tool for circuits security evaluation☆88Updated 3 weeks ago
- Auditing Applied Cryptography☆10Updated 5 years ago
- A tool to help you understand TPM commands and responses.☆43Updated 5 months ago
- Python library for Alphanov's PDM laser sources control☆11Updated 5 years ago
- LoRaWAN session cracker - A PoC for exploiting weak or shared Application Keys☆17Updated 2 years ago
- SIde-Channel Analysis toolKit: embedded security evaluation tools☆29Updated 3 years ago
- List of crackpot 'scientists' and 'thinkers'☆18Updated last week
- This tool emulates an EMV-CAP device, to illustrate the article "Banque en ligne : à la decouverte d'EMV-CAP" published in MISC, issue #5…☆33Updated 2 years ago
- ☆20Updated 5 years ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆62Updated 2 years ago
- Open tools for side-channel analysis and related techniques. Currently, this repository contains: 1) A near-field EM probe amplifier circ…☆36Updated 10 years ago
- Secure AES128 Encryption Implementation for ATmega8515☆35Updated 4 years ago
- ☆23Updated 2 years ago
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆12Updated last year
- A Tamarin model and analysis of EMV☆31Updated 4 years ago
- Framework for building transparent memory encryption and authentication solutions☆27Updated 6 years ago
- Differential Address Trace Analysis☆56Updated last year
- Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020☆28Updated 2 years ago
- A vizualization tool for data generated by the bal framework☆11Updated 2 years ago
- Timing Attack on TLS' ECDSA signature☆42Updated 9 years ago
- ☆11Updated 4 years ago
- A Common Criteria (CC) and FIDO certified FIDO U2F javacard applet.☆20Updated 4 years ago
- Tools for power measurements of post-quantum cryptographic algorithms☆27Updated 5 years ago
- Curated list of open-source TPM (Trusted Platform Module) applications☆24Updated 3 years ago
- A permissively licensed, low-level, high-performance cryptographic hash library for hackers.☆19Updated last year