Execution leases: A hardware-supported mechanism for enforcing strong noninterference (2009)

by M Tiwari, X Li, H Wassel, F Chong, T Sherwood
Venue:In Micro