TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms.

Guangdong Bai, Jianan Hao, Jianliang Wu, Yang Liu, Zhenkai Liang, Andrew P. Martin

Browse the full FM paper archive.