ShittyBeatlesFCPres@lemmy.world 1 day ago
I’ve always wondered if the world’s major governments all have their own secret, bespoke operating systems for highly sensitive situations. Like, not Windows, Linux, macOS, BSD, or anything even remotely known to the public. But then you see high-ranking admin officials using bootleg Signal on an off-the-shelf phone or whatever.
I’d assume the actual intelligence agencies are more sophisticated. I doubt they’re running some “hardened” version of Windows or Android or whatever. But maybe I’m being naive and they all are just working with vendors.
bacon_pdp@lemmy.world 1 day ago
My husband says it is not secret what they use. It is something called L4-SEC which has formal proofs of correctness
shalafi@lemmy.world 1 day ago
We need the /s tag around here for even the mildest and most obvious jokes.
bacon_pdp@lemmy.world 1 day ago
www.sigops.org/s/conferences/…/klein-sosp09.pdf
danzabia@infosec.pub 1 day ago
You may need to work on your jokes :)