George Coker

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 1

Top Topics

Transition Systems

Formal Specification

Alternating Time Temporal Logic

Top Venues

ACM Trans. Inf. Syst. Secur.

Publications

Perry Alexander, Lee Pike, Peter A. Loscocco, George Coker
Model Checking Distributed Mandatory Access Control Policies. ACM Trans. Inf. Syst. Secur. 18 (2) (2015)
Patrick Colp, Mihir Nanavati, Jun Zhu, William Aiello, George Coker, Tim Deegan, Peter A. Loscocco, Andrew Warfield
Breaking up is hard to do: security and functionality in a commodity hypervisor. SOSP (2011)
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
Principles of remote attestation. Int. J. Inf. Sec. 10 (2) (2011)
George Coker, Joshua D. Guttman, Peter A. Loscocco, Justin Sheehy, Brian T. Sniffen
Attestation: Evidence and Trust. ICICS (2008)