Alternatives and similar repositories for knox-hsm:

Users that are interested in knox-hsm are comparing it to the libraries listed below

• anishathalye / knox
  A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
  ☆33Updated 2 months ago
• lowRISC / ot-sca
  Side-channel analysis setup for OpenTitan
  ☆31Updated last month
• Ko- / riscvcrypto
  Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture
  ☆31Updated 4 years ago
• ANSSI-FR / IPECC
  A VHDL IP for ECC (Elliptic Curve Cryptography) hardware acceleration
  ☆38Updated 3 weeks ago
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆18Updated 2 months ago
• sancus-tee / sancus-core
  Minimal OpenMSP430 hardware extensions for isolation and attestation
  ☆22Updated last year
• secure-foundations / veri-titan
  Verifying OpenTitan
  ☆25Updated last year
• formosa-crypto / libjade
  Crypto library
  ☆58Updated 2 weeks ago
• masked-kyber-m4 / mkm4
  This is the repository for the first-order masked Kyber on ARM Cortex-M4
  ☆11Updated last year
• mupq / pqriscv
  ☆10Updated last year
• conorpp / bitsliced-aes
  A bitsliced implementation of ECB and CTR AES
  ☆50Updated 8 months ago
• simple-crypto / SCALib
  Side-Channel Analysis Library
  ☆84Updated this week
• scarv / xcrypto
  XCrypto: a cryptographic ISE for RISC-V
  ☆92Updated 2 years ago
• 0xADE1A1DE / Rosita
  ☆16Updated 2 years ago
• ChairImpSec / PROLEAD
  PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software
  ☆38Updated last month
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆37Updated last month
• emsec / ImpeccableCircuits
  Hardware designs for fault detection
  ☆17Updated 5 years ago
• mjosaarinen / py-acvp-pqc
  Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)
  ☆44Updated 2 months ago
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…
  ☆47Updated this week
• chipsalliance / adams-bridge
  Post-Quantum Cryptography IP Core (Crystals-Dilithium)
  ☆21Updated last week
• isec-tugraz / coco-alma
  CocoAlma is an execution-aware tool for formal verification of masked implementations
  ☆21Updated 7 months ago
• coron / htable
  High-order countermeasures for AES and DES
  ☆25Updated 8 months ago
• Ledger-Donjon / visplot
  Side-channel traces visualizer
  ☆15Updated last week
• sca-research / GILES
  ☆12Updated 3 years ago
• KULeuven-COSIC / COSO-TRNG
  Reference implementation for the COherent Sampling ring Oscillator based True Random Number Generator.
  ☆13Updated 5 months ago
• keystone-enclave / riscv-pk
  Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready
  ☆35Updated 3 years ago
• GMUCERG / LWC
  Development Package for the Hardware API for Lightweight Cryptography
  ☆16Updated 3 weeks ago
• ANSSI-FR / secAES-ATmega8515
  Secure AES128 Encryption Implementation for ATmega8515
  ☆35Updated 4 years ago
• Chair-for-Security-Engineering / AES_masked_BRAM
  Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)
  ☆15Updated 4 years ago
• crocs-muni / scrutiny
  An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level framework…
  ☆11Updated 4 months ago