Preservation of Speculative Constant-Time by Compilation | Publicación