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
ACM
Pages 493-504
2009
Topic(s): security
Note(s): hardware, information flow, non-interference