News for hackers. Stuff that matters.

A comment on Rosenpass – formally verified post-quantum WireGuard. Parent comment

Re:Rosenpass – formally verified post-quantum WireGuard by hhda on Tuesday February 28, 2023 @12:31PM (#34972152)
For that, I believe you need to use cargo-geiger[0] and audit the results.

[0] - https://github.com/rust-secure-code/cargo-geiger

[ Parent | on HN ]

There are no comments on this comment yet.