A high-performance, low-overhead microarchitecture for secure program execution | IEEE Conference Publication | IEEE Xplore