Ahmed Awad, Brad Karp: Execution integrity without implicit trust of system software. SysTEX@SOSP 2019: 5:1-5:6