Wednesday, July 24, 2024
Reading Time: 2 minutes
SpiderOak proudly announces the successful demonstration of its advanced OrbitSecure software module on the International Space Station.
SpiderOak proudly announces the successful demonstration of its cutting-edge OrbitSecure software module on the International Space Station. This module, re-engineered using the memory-safe programming language Rust and with protocol design formally verified through the Alloy specification language, addresses key cybersecurity requirements highlighted by the White House Office of the National Cyber Director in a report published last February. SpiderOak stands out as one of the pioneering commercial software firms to showcase a formally verified,…