knox-hsm

Circuits and hardware security modules formally verified with Knox 🔐 (by anishathalye)

Knox-hsm Alternatives

Similar projects and alternatives to knox-hsm

  • tkey-verification

    Vendor signing and user verification of TKey genuineness

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better knox-hsm alternative or higher similarity.

knox-hsm reviews and mentions

Posts with mentions or reviews of knox-hsm. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-12-25.
  • TKey is a RISC-V computer in a USB-C case, that can run security applications
    2 projects | news.ycombinator.com | 25 Dec 2023
    This is really neat!

    We've been working on some research to formally verify the hardware/software of such devices [1, 2]. Neat how there are so many shared ideas: we also use a PicoRV32, run on an iCE40 FPGA, use UART for communication to/from the PicoRV32 to keep the security-critical part of the hardware simple, and use a separate MCU to convert between USB and UART.

    Interesting decision to make the device stateless. Given that the application keys are generated by combining the UDS, USS, and the hash of the application [3], it seems this rules out software updates? Was this an intentional tradeoff, to have a sort of "forward security"?

    In an earlier project I worked on [4], we had run into a similar issue (no space for this in the write-up though); there, we ended up using the following approach: applications are _signed_ by the developer (who can use any keypair they generate), the signature is checked at application load time, and the application-specific key is derived using the hash of the developer's public key instead of the hash of the application. This does have the downside that if the developer is compromised, an adversary can use this to sign a malicious application that can leak the key.

    [1]: https://github.com/anishathalye/knox-hsm

Stats

Basic knox-hsm repo stats
1
21
5.3
about 1 month ago

anishathalye/knox-hsm is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of knox-hsm is Verilog.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com