Exorcising Spectres with Secure Compilers

POPL 2020