The foundations of a provably secure operating system (PSOS) (1979) [pdf] - AllTheNews.today
Home / The foundations of a provably secure operating system (PSOS) (1979) [pdf]

The foundations of a provably secure operating system (PSOS) (1979) [pdf]

2026-05-18T09:40  ·  tech
Article URL: http://www.csl.sri.com/users/neumann/psos.pdf Comments URL: https://news.ycombinator.com/item?id=48177300 Points: 15 # Comments: 1
Read Full Article →
www.csl.sri.com
← Back to Latest

Related News

Testing distributed systems with AI agents
2026-05-20
Article URL: https://github.com/shenli/distributed-system-testing Comments URL:…
Why is Inkwell stuck in review
2026-05-20
Article URL: https://www.manton.org/2026/05/19/why-is-inkwell-stuck-in.html Comments URL:…
OpenAI Is Preparing to File for an IPO Soon
2026-05-20
Article URL: https://www.wsj.com/tech/ai/openai-is-preparing-to-file-for-an-ipo-very-soon-0ec95af5 Comments URL:…
Google's AI is being manipulated. The search giant is quietly fighting back
2026-05-20
Article URL: https://www.bbc.com/future/article/20260519-google-tackles-attempts-to-hack-its-ai-results Comments URL:…
Ex-Apple engineer says Apple deliberately slows older phones via updates
2026-05-20
Article URL:…