SBP: A Programming Paradigm for Building Secure Software and Operating Systems - View it on GitHub