Secure Unix ancestor KSOS did type safety before Rust made it cool
ID: 18013cf8-d86a-53fe-9cb9-40941765481d
STIX ID: report--18013cf8-d86a-53fe-9cb9-40941765481d
Feed Name: The Register (Security)
KSOS, a Department of Defense–backed, Modula-implemented secure UNIX-compatible operating system from the late 1970s and 1980s, has had its source code recovered and added to The Unix Heritage Society archives; the article summarizes KSOS's history, formal verification goals, production uses, and the effort to locate its original compiler and related artifacts.
Your team is not currently subscribed to this feed. You must subscribe to it in order to see this post.