vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems.

Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, Jun Sun

Browse the full ICFEM paper archive.