Guardian: Symbolic Validation of Orderliness in SGX Enclaves.

Pedro Antonino Wojciech Aleksander Woloszyn A. W. Roscoe

Published in: CCSW@CCS (2021)

Keyphrases

symbolic description
symbolic representation
database
high level
preprocessing
hidden markov models
computer vision
information systems
decision making
multimedia
training data
multiresolution
knowledge discovery
intermediate level