Would TSME mitigate this?

[vicaya]

It's not clear from the paper if you guys experimented with TSME turned on.

[pjattke]

No, we haven't experimented with TSME turned on. We assumed default BIOS settings for our end-to-end attack.