Login / Signup
Secured Routines: Language-based Construction of Trusted Execution Environments.
Adrien Ghosn
James R. Larus
Edouard Bugnion
Published in:
USENIX Annual Technical Conference (2019)
Keyphrases
</>
natural language
language learning
construction process
programming language
databases
real world
dynamic environments
formal descriptions
database
highly dynamic environments
specification language
target language
modeling language
data flow
information extraction
multi agent
data sets