Linked Presentation: ProSpeCT: Provably Secure Speculation for the Constant-Time PolicyAEX-Notify: Thwarting Precise Single-Stepping Attacks through Interrupt Awareness for Intel SGX Enclaves
