News for hackers. Stuff that matters.

A comment on Linux Hardening Guide. Parent comment

Re:Linux Hardening Guide by nineteen999 on Thursday December 31, 2020 @02:04PM (#25595895)
> Rewriting in a safe language, like SPARK or the safe subset of Rust, would close the door on these vulnerabilities.

Unfortunately this is easier said than done, as evidenced by the fact that it is said a lot, and never done.

[ Parent | on HN ]
Re:Linux Hardening Guide by MaxBarraclough on Thursday December 31, 2020 @03:49PM (#25596958)
Agree. Not something I know a lot about but it seems to be a significant undertaking. I figure a production-grade implementation in safe Rust is more likely than a verified implementation in SPARK.

I don't know how serious the rustls implementation is. Nice to see it makes no use of Rust's unsafe features.

https://github.com/ctz/rustls

[ Parent | on HN ]