BasicBlocker ISA Redesign for Spectre-Immune CPUs - arxiv.org