anishathalye / knox-hsm
Circuits and hardware security modules formally verified with Knox 🔐
☆23Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for knox-hsm
- 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 🔏☆32Updated last year
- ☆10Updated last year
- XCrypto: a cryptographic ISE for RISC-V☆91Updated last year
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆9Updated last year
- Verifying OpenTitan☆22Updated last year
- CHERI-RISC-V model written in Sail☆55Updated last month
- Program for finding low gate count implementations of S-boxes.☆36Updated 2 weeks ago
- SLotH -- An SLH-DSA/SPHINCS+ Hash-Based Signature Accelerator☆22Updated last month
- Side-Channel Analysis Library☆74Updated 2 months ago
- Formal specification and verification of hardware, especially for security and privacy.☆124Updated 2 years ago
- High-order countermeasures for AES and DES☆25Updated 3 months ago
- Minimal RISC Extensions for Isolated Execution☆50Updated 5 years ago
- This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…☆52Updated this week
- A bitsliced implementation of ECB and CTR AES☆46Updated 3 months ago
- Crypto library☆52Updated last month
- [HISTORICAL] A Lightweight (RISC-V) ISA Extension for AES and SM4☆34Updated 3 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆71Updated last month
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆21Updated last month
- Development Package for the Hardware API for Lightweight Cryptography☆15Updated last year
- ☆17Updated 5 months ago
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆35Updated 3 years ago
- Teaching materials related to the Tamarin Prover☆63Updated 3 months ago
- QEMU with support for CHERI☆54Updated this week
- PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software☆32Updated this week
- David Canright's tiny AES S-boxes☆21Updated 10 years ago
- Secure AES128 Encryption Implementation for ATmega8515☆34Updated 3 years ago
- cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.☆78Updated 2 weeks ago
- High-assurance, high-performance ML-KEM implementation for mobile, pc, and server targets☆10Updated this week