Abstract
Secure enclaves are commonly used for securing sensitive data and computation. However, an enclave can only be trusted if the software running in the enclave is secure. Nevertheless, enclave software is often written in low-level languages that are prone to vulnerabilities. As the number of enclave application developers grows, more attention must be paid to secure software development. The use of safe programming languages could be one step towards more secure trusted software. In this paper, we discuss our work towards a Rust programming language SDK for Keystone enclave application development. In addition, we present early performance measurements of the SDK compared to the original Keystone SDK written in the C/C++ languages.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 9th International Conference on Information Systems Security and Privacy, ICISSP |
| Editors | Paolo Mori, Gabriele Lenzini, Steven Furnell |
| Publisher | SciTePress |
| Pages | 29-37 |
| Number of pages | 9 |
| Volume | 1 |
| ISBN (Print) | 978-989-758-624-8 |
| DOIs | |
| Publication status | Published - 2023 |
| MoE publication type | A4 Article in a conference publication |
| Event | 9th International Conference on Information Systems Security and Privacy, ICISSP - Lisbon, Portugal Duration: 22 Feb 2023 → 24 Feb 2023 |
Conference
| Conference | 9th International Conference on Information Systems Security and Privacy, ICISSP |
|---|---|
| Country/Territory | Portugal |
| City | Lisbon |
| Period | 22/02/23 → 24/02/23 |
Keywords
- Trusted Execution Environments
- Enclave
- Rust
- Security
- Software Development