SafeSpec: Banishing the Spectre of a Meltdown with Leakage-Free Speculation
PTLsim: A Cycle Accurate Full System x86-64 Microarchitectural Simulator