H-Verifier: Verifying Confidential System State with Delegated Sandboxes
2018 ◽
pp. 126-140
Keyword(s):
2019 ◽
Vol 2
(3)
◽
pp. 216-229
1994 ◽
Vol 39
(8)
◽
pp. 1617-1620
◽
2021 ◽
Vol 1027
◽
pp. 012021