Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract. - Jonathan Behrens; Anton Cao; Cel Skeggs; Adam Belay; M. Frans Kaashoek; Nickolai Zeldovich (OSDI, 2020)