Securing TEEs With Verifiable Execution Contracts.

Guoxing Chen Yinqian Zhang

Published in: IEEE Trans. Dependable Secur. Comput. (2023)

Keyphrases

execution model
supply chain
sufficient conditions
real time
execution environment
concurrent execution
databases
neural network
information retrieval
website
expert systems
response time
data management
workflow management systems