research
∙
06/26/2023
Citadel: Enclaves with Strong Microarchitectural Isolation and Secure Shared Memory on a Speculative Out-of-Order Processor
We present Citadel, to our knowledge, the first enclave platform with st...
share
research
∙
04/01/2021
A Multipurpose Formal RISC-V Specification
RISC-V is a relatively new, open instruction set architecture with a mat...
research
∙
12/24/2018
