Nitrokey / nethsm
Nitrokey NetHSM system software and firmware
☆53Updated last week
Related projects ⓘ
Alternatives and complementary repositories for nethsm
- Secure HSM implementation based on MirageOS☆37Updated 2 years ago
- TPM 2.0 plugin for age☆82Updated 3 months ago
- SSH Certificate Authority with device attestation☆50Updated 2 months ago
- A suite of testvectors for X.509 certificate path validation and tools for building them☆41Updated this week
- A distributed DHCP Daemon☆31Updated last year
- An example of how to package Coreboot in Nix☆16Updated 3 years ago
- Scripts, files and tools related to sandboxing☆29Updated 2 years ago
- An example Mirage unikernel that runs as a Qubes AppVM☆23Updated 3 years ago
- A tool to help you understand TPM commands and responses.☆34Updated last month
- Mirage support for writing QubesOS AppVM unikernels☆63Updated 2 months ago
- A Simple TFTP Server for PXE Booting☆56Updated this week
- Mirror only. Official repository at https://git.glasklar.is/system-transparency/core/system-transparency☆86Updated last month
- TLS client program☆11Updated 4 years ago
- Bertie TLS 1.3 Implementation☆112Updated this week
- OpenBSD tcpbench ported to GNU/Linux☆11Updated 2 months ago
- PKCS#11 module for NetHSM☆36Updated last month
- Caml Crush: an OCaml PKCS#11 filtering proxy☆44Updated 2 years ago
- MirageOS traceroute unikernel☆17Updated 3 weeks ago
- This repository represents the current SCION version deployed at SCIONLab.☆34Updated last month
- age plugin for keeping keys with a TKey USB security key☆25Updated this week
- A cache hard password hash/KDF☆44Updated 7 months ago
- Native JACK support for Qubes OS (experimental)☆10Updated 7 years ago
- A TLS reverse proxy unikernel☆35Updated 2 weeks ago
- A DNSmasq-like MirageOS unikernel☆22Updated this week
- SSH chat server using trust on first use for user registration☆30Updated last month
- Entity Attestation Token IETF Draft Standard☆18Updated last month
- microca is a small, simple Certificate Authority tool.☆16Updated 8 months ago
- Toolset to analyse TLS datasets☆12Updated 5 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆88Updated this week