ProSpeCT: Provably Secure Speculation for the Constant-Time Policy. - View it on GitHub