Execution leases: a hardware-supported mechanism for enforcing strong non-interference.

Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Frederic T. Chong, Timothy Sherwood

Browse the full MICRO paper archive.