The Rust programming language has significant potential to be impactful with respect to software security, particularly as the formal verification tools for the language mature.
Conversation
I can definitely see it as the future of systems programming.
3
Replying to
Any thoughts on OCAML and the build target WASM from Rust or OCAML or f-star?
Replying to
I found this project especially interesting wrt formal verification: pm.inf.ethz.ch/research/prust
1