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

Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Frederic T. Chong, Timothy Sherwood
[doi] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture
ACM
Pages 493-504
2009
Topic(s): security
Note(s): hardware, information flow, non-interference

Non-interference