Low Overhead Security Isolation using Lightweight Kernels and TEEs. - John R. Lange; Nicholas Gordon; Brian Gaines (SC (Workshops), 2021)