Guangyuan Hu

New Models for Understanding and Reasoning about Speculative Execution Attacks

2021

Spectre and Meltdown attacks and their variants exploit hardware performance optimization features to cause security breaches. Secret information is accessed and leaked through covert or side channels. New attack variants keep appearing and we do …