H-Verifier: Verifying Confidential System State with Delegated Sandboxes.

Anyi Liu Guangzhi Qu

Published in: SciSec (2018)

Keyphrases

data sets
machine learning

multi agent
digital libraries

state space

distributed environment