News for hackers. Stuff that matters.

A comment on The foundations of a provably secure operating system (PSOS) (1979) [pdf]. Parent comment

Re:The foundations of a provably secure operating system (PS... by fsflover on Monday May 18, 2026 @07:51AM (#48178393)
Are talking about this? https://en.wikipedia.org/wiki/Blue_Pill_(software)

It happened in 2006 and never happened after that. I would consider it as secure as it gets.

[ Parent | on HN ]
Re:The foundations of a provably secure operating system (PS... by Joel_Mckay on Monday May 18, 2026 @08:07AM (#48178545)
Sorry, can't recall the exact lecture... It was only interesting as I was looking at a toy project to see if metastability issues were solvable. Practically speaking, it only proved the folks at Sun were very smart people choosing an encrypted mmu. =3
[ Parent | on HN ]