research
∙
02/23/2023
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version)
We propose ProSpeCT, a generic formal processor model providing provably...
share
research
∙
06/02/2022
End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs
This paper presents an approach to provide strong assurance of the secur...
research
∙
01/29/2020
