3 ms·
> We need formally-verified operating systems Compartmentalization is a far stronger security measure according to experience. See: Qubes OS.
by fsflover 3y ago
> We need formally-verified operating systems
Compartmentalization is a far stronger security measure according to experience. See: Qubes OS.
- tucnak 3y agoIntel only...