Circuits and hardware security modules formally verified with Knox ๐
โ27Feb 1, 2025Updated last year
Alternatives and similar repositories for knox-hsm
Users that are interested in knox-hsm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities ๐โ42Nov 29, 2025Updated 9 months ago
- A tool for checking the contract satisfaction for hardware designsโ12Jul 21, 2026Updated last month
- A Ghidra static analysis tool for locating PACMAN Gadgetsโ13Sep 1, 2022Updated 3 years ago
- โ11Jun 22, 2026Updated 2 months ago
- [WIP] Distributed LTE Authentication for 4G/5G Networks in Community Cellular Settingsโ10Jun 15, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean โข AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Project PLS is developed based on icarus iverilog and will compile verilog into a much faster optimized model.โ13Nov 15, 2021Updated 4 years ago
- Cryptography accelerator ASIC (for AES128/AES256 and SHA256) using Skywater 130nm process node (build-environment repo).โ11Jan 13, 2021Updated 5 years ago
- xhyve, a lightweight OS X virtualization solutionโ12May 14, 2018Updated 8 years ago
- An HSM simulator implemented in Java, ANSI X9, 3DES, DUKPT, etc..โ12Mar 26, 2019Updated 7 years ago
- Nonlinear Inductive Network Analyzerโ19Nov 21, 2025Updated 9 months ago
- Example integrating react-native and react-three-fiberโ18Dec 6, 2022Updated 3 years ago
- โ12Jun 7, 2024Updated 2 years ago
- Utility to benchmark speed of operations of a PKCS#11 implementation.โ13Aug 14, 2026Updated 2 weeks ago
- Banquet implementationโ15May 6, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean โข AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- JavaCard ECDSA signing appletโ19Jul 31, 2014Updated 12 years ago
- โ14May 18, 2023Updated 3 years ago
- MacLISPใฎใณใผใใCLใงๅใใโ16May 8, 2014Updated 12 years ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performanceโ12Apr 28, 2026Updated 4 months ago
- Stuff to comfortably run GSI on Unihertz Titanโ15Jun 11, 2020Updated 6 years ago
- A tool to convert binary files to COE files ๐ซโ18Jun 24, 2026Updated 2 months ago
- hardhat-circom template ๐ฑโ21Nov 13, 2023Updated 2 years ago
- Quantum optimal control based on dynamiqs, diffrax and JAXโ27Dec 6, 2025Updated 8 months ago
- An OpenWRT fork for all the IEEE 802.11ad MikroTik devicesโ17Nov 18, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean โข AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- โ15Jan 22, 2018Updated 8 years ago
- Julia Interface to https://github.com/compiler-research/CppInterOpโ19May 10, 2025Updated last year
- Patch your macOS kernel to enable support for the high-resolution timers on M1โ49May 8, 2025Updated last year
- Explore Fibonacci, Galois, and State Space Linear Feedback Shift Register (LFSR) sequence generatorsโ13Dec 29, 2020Updated 5 years ago
- โ18Feb 10, 2026Updated 6 months ago
- A set of tools for Secure Hardware Extensionโ13Jul 26, 2025Updated last year
- Automated measurement of crystal parameters using a vector network analyserโ13Jun 17, 2020Updated 6 years ago
- Regular expressions based on Rob Pike Plan9 regexp9. Forked from https://github.com/attractivechaos/benchmarks/tree/master/reb/regexp9โ16Feb 5, 2022Updated 4 years ago
- Hardware implementation of ORAMโ24Jul 12, 2017Updated 9 years ago
- Open source password manager - Proton Pass โข AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- The ao486 is an x86 compatible Verilog core implementing all features of a 486 SX.โ14Jan 27, 2016Updated 10 years ago
- Defeating Pointer Authentication on the Apple M1 with Hardware Attacksโ52Aug 12, 2022Updated 4 years ago
- list of links to resources related to functional verificationโ12Sep 10, 2023Updated 2 years ago
- 586 compatible soft core for FPGA in verilog with AXI4 interfaceโ16Oct 15, 2016Updated 9 years ago
- CryptoLyzer is a fast, flexible and comprehensive server cryptographic protocol (TLS, SSL, SSH, DNSSEC) and related setting (HTTP headersโฆโ48Jul 31, 2026Updated 3 weeks ago
- An IOKit kext designed for microarchitectural security research on M1โ55Oct 30, 2022Updated 3 years ago
- โ30Apr 25, 2026Updated 4 months ago