research
∙
11/03/2022
Verifying RISC-V Physical Memory Protection
We formally verify an open-source hardware implementation of physical me...
share
research
∙
11/22/2019
Gemmini: An Agile Systolic Array Generator Enabling Systematic Evaluations of Deep-Learning Architectures
Advances in deep learning and neural networks have resulted in the rapid...
research
∙
07/23/2019
Keystone: A Framework for Architecting TEEs
Trusted execution environments (TEEs) are becoming a requirement across ...
research
∙
01/15/2019
