BibTex

@inproceedings{FM2014,
 author = {Bai, Guangdong and Hao, Jianan and Wu, Jianliang and Liu, Yang and Liang, Zhenkai and Martin, Andrew},
 title = {TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms},
 booktitle = {Proceedings of the 19th International Symposium on Formal Methods (FM)},
 year = {2014},
 pages = {110--126},
 numpages = {17},
 publisher = {Springer-Verlag New York, Inc.},
 address = {New York, NY, USA},
}