Making Untrusted Code Useful

This short note gives my perspective on Nikolai Zeldovich’s paper about HiStar, a practical system that implements strict information flow control and can also run a large part of Linux.