crocs-muni / sec-certs
Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).
☆16Updated this week
Alternatives and similar repositories for sec-certs:
Users that are interested in sec-certs are comparing it to the libraries listed below
- Implementation of the key recovery attack against GEA-1 keys (Eurocrypt 2021)☆48Updated 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 3 weeks ago
- Python Elliptic Curve Side-Channel Analysis toolkit.☆58Updated 2 months ago
- ☆20Updated 3 years ago
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆11Updated last year
- Tool for generation of data from cryptoprimitives (block and stream ciphers, hash functions). Cryptoprimitives are round-reduced and the …☆13Updated 2 years ago
- Auditing Applied Cryptography☆10Updated 5 years ago
- BAT KEM/Signature Reference Implementation☆20Updated 3 years ago
- A tool to help you understand TPM commands and responses.☆37Updated 2 months ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆20Updated 3 years ago
- SIde-Channel Analysis toolKit: embedded security evaluation tools☆28Updated 3 years ago
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆11Updated 4 years ago
- Side-channel traces visualizer☆14Updated 2 months ago
- Entity Attestation Token IETF Draft Standard☆18Updated 2 weeks ago
- Exploration of NIST post-quantum signatures on-ramp candidates☆25Updated this week
- Go Trusted Execution Environment (TEE)☆116Updated this week
- Intuitive Quantum Computation and Post-Quantum Cryptography☆62Updated 2 years ago
- ☆22Updated 2 years ago
- A Common Criteria (CC) and FIDO certified FIDO U2F javacard applet.☆20Updated 3 years ago
- Crypto library☆55Updated 2 weeks ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- PANORAMIX repo☆20Updated 2 years ago
- ChipWhisperer-Lint is an open source implementation of our automated leakage detection tool.☆17Updated 6 years ago
- ☆12Updated 4 years ago
- A framework for parsing binary data.☆16Updated 2 years ago
- Elliptic Curve Cryptography playground/toolkit written in pure Python☆67Updated 2 years ago
- Python library for Alphanov's PDM laser sources control☆11Updated 5 years ago
- Abusing Cloudflare Workers to establish persistence and exfiltrate sensitive data at the edge.☆14Updated 2 years ago
- Zigator: A security analysis tool for Zigbee and Thread networks☆30Updated last year
- (Oblivious) DoH Server☆27Updated 3 years ago