Practical Safe Linux Kernel Extensibility. - Samantha Miller; Kaiyuan Zhang 001; Danyang Zhuo; Shibin Xu; Arvind Krishnamurthy; Thomas E. Anderson (HotOS, 2019)