Anyi Liu Guangzhi Qu H-Verifier: Verifying Confidential System State with Delegated Sandboxes. 126-140 2018 SciSec https://doi.org/10.1007/978-3-030-03026-1_9 conf/scisec/2018 db/conf/scisec/scisec2018.html#LiuQ18