George Coker

According to our database, George Coker authored at least 4 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

Model Checking Distributed Mandatory Access Control Policies.

Perry Alexander, Lee Pike, Peter A. Loscocco, George Coker

ACM Trans. Inf. Syst. Secur., 2015

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

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

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

2008

Attestation: Evidence and Trust.

George Coker, Joshua D. Guttman, Peter A. Loscocco, Justin Sheehy, Brian T. Sniffen

Proceedings of the Information and Communications Security, 10th International Conference, 2008