Scanclave: Verifying Application Runtime Integrity in Untrusted Environments.

Mathias Morbitzer

Published in: CoRR (2019)

Keyphrases

artificial intelligence
relational databases
computing environments
database
neural network
real world
decision support
dynamic environments
operating system
model checking
third party
highly dynamic