Xiaolong Guo, Raj Gautam Dutta, Yier Jin. Eliminating the Hardware-Software Boundary: A Proof-Carrying Approach for Trust Evaluation on Computer Systems. IEEE Transactions on Information Forensics and Security, 12(2):405-417, 2017. [doi]
Abstract is missing.