After 8 Years: NetHSM is Available Formally verified open source HSM | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		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

ggm on Dec 3, 2023 [–]

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

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