Guardian: symbolic validation of orderliness in SGX enclaves.

Pedro Antonino Wojciech Aleksander Woloszyn A. W. Roscoe

Published in: CoRR (2021)

Keyphrases

intensive care
real time
databases
machine learning
three dimensional
high level
connectionist models
real world
low level
symbolic description
connectionist systems