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