3 ms·SBP: A Programming Paradigm for Building Secure Software and Operating Systems1 points by gslepak 3y ago