anishathalye / knox-hsm
Circuits and hardware security modules formally verified with Knox 🔐
☆24Updated last month
Alternatives and similar repositories for knox-hsm:
Users that are interested in knox-hsm are comparing it to the libraries listed below
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆33Updated last month
- PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software☆36Updated last month
- High-order countermeasures for AES and DES☆25Updated 5 months ago
- XCrypto: a cryptographic ISE for RISC-V☆92Updated 2 years ago
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…☆38Updated this week
- Crypto library☆55Updated 3 months ago
- ☆18Updated 8 months ago
- ☆10Updated last year
- SLotH -- An SLH-DSA/SPHINCS+ Hash-Based Signature Accelerator☆26Updated 4 months ago
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆10Updated last year
- A VHDL IP for ECC (Elliptic Curve Cryptography) hardware acceleration☆34Updated 6 months ago
- Side-Channel Analysis Library☆78Updated last week
- Side-channel analysis setup for OpenTitan☆29Updated 2 weeks ago
- Hardware implementation of Saber☆7Updated 4 years ago
- Secure AES128 Encryption Implementation for ATmega8515☆34Updated 3 years ago
- A bitsliced implementation of ECB and CTR AES☆47Updated 5 months ago
- Minimal RISC Extensions for Isolated Execution☆51Updated 5 years ago
- MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn'…☆83Updated last year
- A repository of tools for verifying constant-timeness☆14Updated last month
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆36Updated 3 years ago
- MLKEM implementation optimized for embedded microcontrollers☆15Updated 5 months ago
- High-assurance, high-performance C90 implementation of ML-KEM☆28Updated this week
- Demo host and enclave applications exercising most functionality.☆30Updated last year
- Technology-agnostic Physical Unclonable Function (PUF) hardware module for any FPGA.☆127Updated 2 years ago
- ☆15Updated 2 years ago
- cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.☆89Updated last week
- This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…☆42Updated last month
- MAYO C implementation☆13Updated this week
- NewHope key exchange mechanism implementation on Cortex-M series microcontrollers.☆12Updated 8 years ago