…Set of recommendations for the development of safety-critical space systems in Rust…

…During the execution of our rewriting case study, we identify and fix three previously undiscovered vulnerabilities in a popular open-source satellite communication protocol…