3 ms·

> provably secure systems in use somewhere... There are. Check out sel4 and dependent type systems.

• zvmaz 3y ago
  Yes, I've heard of those. What I wanted to write is "widely used" even at the user level (GUI programs, web applications, etc.). You prompted me to read more about seL4; the white paper is nice [1]. [1] https://sel4.systems/About/seL4-whitepaper.pdf https://sel4.systems/About/seL4-whitepaper.pdf