4 ms·
> Why does someone need to be able to print a tooltip in the sign in dialog? It’s absurd. I doubt that it was intentional. Although careful deploying systems,
by zvmaz 3y ago
> Why does someone need to be able to print a tooltip in the sign in dialog? It’s absurd.
I doubt that it was intentional. Although careful deploying systems, I have often a feeling that we must have forgotten something that is trivially exploitable by someone. I wonder if there are provably secure systems in use somewhere...
- user3939382 3y ago> provably secure systems in use somewhere... There are. Check out sel4 and dependent type systems.
- zvmaz 3y agoYes, 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