Perspective: A Principled Framework for Pliable and Secure Speculation in Operating Systems | IEEE Conference Publication | IEEE Xplore