The high-level benefits of low-level sandboxing

Michael Sammler, Deepak Garg, Derek Dreyer, Tadeusz Litak. The high-level benefits of low-level sandboxing. Proceedings of the ACM on Programming Languages, 4(POPL), 2020. [doi]