OrbitSecure Software Demonstrated Aboard ISS

Cybersecurity Code Re-Written in the Rust Language

Jul 25, 2024

∙ Paid

The latest generation OrbitSecure software module re-written in the memory safe programming language Rust has been successfully demonstrated aboard the International Space Station (ISS) with protocol design formally proven via the Alloy specification language. This demonstrates key modern cybersecurity requirements called for by the White House Office o…

Continue reading this post for free, courtesy of Mike Turner.

Or purchase a paid subscription.