Open-Source secure hardware enclaves on RISC-V
Dawn Song, Professor
Electrical Engineering and Computer Science
Closed. This professor is continuing with Spring 2024 apprentices on this project; no new apprentices needed for Fall 2024.
Secure computation is a powerful abstraction, protecting the integrity and confidentiality of computations over confidential data. While there are already many applications for secure computing, it is continuing to grow in importance.
Secure enclaves can provide a solution to the challenge of secure computation with little or no performance overhead over native computation. Hardware enclaves enable computation over confidential data, providing strong isolation from other applications, the operating system, and the host. The secure enclave can also attest to the correct execution of a program to a remote party, enabling trusted remote computation in many different situations.
Keystone is an open-source project for building trusted execution environments (TEE) with secure hardware enclaves, based on the RISC-V architecture. Our goal is to build a secure and trustworthy open-source secure hardware enclave, accessible to everyone in industry and academia. See keystone-enclave.org for further details on the project.
Role: If you have an interest in building low-level secure systems, or in building the tools, language constructs, and support structure for application development in enclave environments, Keystone is a great place for you.
This is a software systems project, and does not require any background in chip and hardware design.
Qualifications: Background in operating systems concepts and implementation, prefer systems and/or hardware security as well. Proficient in systems-level (OS, hypervisor, etc) C and C++ programming.
OR
Background in compilers and tooling design, perfer security background as well. Proficient in compiler tool development and programming languages.
Day-to-day supervisor for this project: Xiaoyuan Liu
Hours: 12 or more hours
Engineering, Design & Technologies