Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks
▶Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks — a 2022 IEEE S&P 2022 Sessions security conference talk on hardware-firmware (20:05 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube