Execution Leases: A Hardware-Supported Mechanism for Enforcing Strong Non-Interference

by Mohit Tiwari , Xun Li , Hassan M G Wassel , Frederic T Chong , Timothy Sherwood
Citations:9 - 7 self