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