Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec

Submitted ⁨⁨1⁩ ⁨year⁩ ago⁩ by ⁨bot@lemmy.smeargle.fans [bot]⁩ to ⁨hackernews@lemmy.smeargle.fans⁩

https://github.com/cryspen/bertie