To add comment about AMD the SMT on AMD is tagged thus not vulnerable to this problem like Intel is.
https://www.extremetech.com/wp-content/uploads/2018/08/AMD-SMT-Zen-1.jpg
To add comment about AMD the SMT on AMD is tagged thus not vulnerable to this problem like Intel is.
https://www.extremetech.com/wp-content/uploads/2018/08/AMD-SMT-Zen-1.jpg
The papers below describe the methods mandated for security certification under TCSEC. It’s how they found cache-based, timing channels in VAX VMM and hardware in1992. Instead of add speculating or waiting for attacks, just use methods that find leaks on everything you want to be leak-free.
Kemmerer’s Technique for Detecting Side Channels (1983)
An Analysis of Timing Channel’s by Wray (1991)