Attestation: Evidence and Trust. - George Coker; Joshua D. Guttman; Peter A. Loscocco; Justin Sheehy; Brian T. Sniffen (ICICS, 2008)

Breaking up is hard to do: security and functionality in a commodity hypervisor. - Patrick Colp; Mihir Nanavati; Jun Zhu; William Aiello; George Coker; Tim Deegan; Peter A. Loscocco; Andrew Warfield (SOSP, 2011)

Principles of remote attestation. - George Coker; Joshua D. Guttman; Peter A. Loscocco; Amy L. Herzog; Jonathan K. Millen; Brian O'Hanlon; John D. Ramsdell; Ariel Segall; Justin Sheehy; Brian T. Sniffen (Int. J. Inf. Sec., 2011)

Model Checking Distributed Mandatory Access Control Policies. - Perry Alexander; Lee Pike; Peter A. Loscocco; George Coker (ACM Trans. Inf. Syst. Secur., 2015)