anishathalye / knox-hsm
Circuits and hardware security modules formally verified with Knox 🔐
☆23Updated 3 months ago
Alternatives and similar repositories for knox-hsm
Users that are interested in knox-hsm are comparing it to the libraries listed below
Sorting:
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software☆39Updated this week
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆33Updated 3 months ago
- Side-Channel Analysis Library☆89Updated last week
- A VHDL IP for ECC (Elliptic Curve Cryptography) hardware acceleration☆38Updated last month
- Secure AES128 Encryption Implementation for ATmega8515☆35Updated 4 years ago
- XCrypto: a cryptographic ISE for RISC-V☆93Updated 2 years ago
- ☆11Updated last year
- A repository of tools for verifying constant-timeness☆18Updated 3 months ago
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…☆51Updated this week
- Side-channel analysis setup for OpenTitan☆32Updated 3 weeks ago
- Fast constant-time AES implementations on 32-bit architectures☆64Updated 7 months ago
- ☆48Updated last year
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆12Updated last year
- ☆15Updated 2 years ago
- ☆18Updated 11 months ago
- Masked Hardware AES with HPC☆13Updated 6 months ago
- Power trace simulator using Unicorn Engine for side channel analysis attack testing☆87Updated 6 years ago
- Toolbox for advanced differential power analysis of symmetric key cryptographic algorithm implementations☆49Updated 6 years ago
- Development Package for the Hardware API for Lightweight Cryptography☆16Updated last month
- Crypto library☆59Updated 2 weeks ago
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆82Updated 3 years ago
- Verifying OpenTitan☆26Updated last year
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆59Updated this week
- ☆12Updated 3 years ago
- Python Elliptic Curve Side-Channel Analysis toolkit.☆59Updated last month
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆35Updated 4 years ago
- Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)☆46Updated 3 months ago
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆22Updated 7 months ago
- SLotH -- An SLH-DSA/SPHINCS+ Hash-Based Signature Accelerator☆32Updated 2 months ago