RESTON, Va., July 23, 2024 /PRNewswire/ — SpiderOak, the leader in zero-trust space cybersecurity solutions, is thrilled to announce the successful demonstration of our next generation OrbitSecure software module re-written in the memory safe programming language Rust with protocol design formally proven via the Alloy specification language on the International Space Station (ISS). This demonstrates key modern cybersecurity requirements called for by the White House Office of the National Cyber Director in a report published last February. SpiderOak is one of the first commercial software companies to successfully demonstrate a formally verified and Rust enabled security capability on a crewed space station.

Read more here.