research
∙
11/03/2022
Verifying RISC-V Physical Memory Protection
We formally verify an open-source hardware implementation of physical me...
share
research
∙
09/30/2022
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing
Hardware enclaves rely on a disjoint memory model, which maps each physi...
research
∙
09/09/2020
Privacy-Preserving Machine Learning in Untrusted Clouds Made Simple
We present a practical framework to deploy privacy-preserving machine le...
research
∙
12/03/2019
An Off-Chip Attack on Hardware Enclaves via the Memory Bus
This paper shows how an attacker can break the confidentiality of a hard...
research
∙
07/23/2019
Keystone: An Open Framework for Architecting TEEs
Trusted execution environments (TEEs) are being used in all the devices ...
research
∙
07/23/2019
Keystone: A Framework for Architecting TEEs
Trusted execution environments (TEEs) are becoming a requirement across ...
research
∙
12/27/2018