SafeBet: Secure, Simple, and Fast Speculative Execution. - Conor Green; Cole Nelson; Mithuna Thottethodi; T. N. Vijaykumar (CoRR, 2023)