Hacker News new | past | comments | ask | show | jobs | submit login
After 8 Years: NetHSM is Available Formally verified open source HSM (nitrokey.com)
5 points by PaulHoule on Dec 3, 2023 | hide | past | favorite | 1 comment



Did any of the cryptech work get here or is it unrelated?




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: