Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan: A Formal Approach to Secure Speculation. CSF 2019: 288-303