StatekeepSpec: Securing Speculative Execution via forbidding Change-Of-State.

Zhiyuan LvYoujian Zhao
Published in: HPCC/DSS/SmartCity/DependSys (2021)