The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security. - Simon Biggs; Damon Lee; Gernot Heiser (APSys, 2018)