2. Future Objectives and Features for Keystone¶
This is a list of larger features or changes that Keystone may need. These are not bugs.
Secure cryptography requires a dependable entropy source. All platforms that have such a hardware source should integrate it as a platform-specific SM feature.
Other platforms will need to use more intrusive entropy gathering strategies. See the Linux jitter entropy source, or the Welcome to the Entropics paper.
2.2. Multi-threading models¶
2.3. Formal Verification¶
2.4. Task/Message Queueing for the Keystone Runtime¶
2.5. Edge compiler and DSL/Toolchain¶
Similar to SGX, we need tools to help generate code for edgecalls between the enclave and host. Currently all such code is manually generated.
- Better ELF entry point detection and handling (more configurable)
- Better/more complex ELF loading for eapps
- Scheduling interfaces for closer runtime/os collaboration
- New shared-memory usage models