ProofChecker: an accessible environment for automata theory correctness proofs. - Matthias F. Stallmann; Suzanne Balik; Robert D. Rodman; Sina Bahram; Michael C. Grace; Susan D. High (ITiCSE, 2007)

Analyzing and improving Linux kernel memory protection: a model checking approach. - Siarhei Liakh; Michael C. Grace; Xuxian Jiang (ACSAC, 2010)

Defeating return-oriented rootkits with "Return-Less" kernels. - Jinku Li; Zhi Wang 004; Xuxian Jiang; Michael C. Grace; Sina Bahram (EuroSys, 2010)

Transparent Protection of Commodity OS Kernels Using Hardware Virtualization. - Michael C. Grace; Zhi Wang 004; Deepa Srinivasan; Jinku Li; Xuxian Jiang; Zhenkai Liang; Siarhei Liakh (SecureComm, 2010)

Comprehensive and Efficient Protection of Kernel Control Data. - Jinku Li; Zhi Wang 004; Tyler K. Bletsch; Deepa Srinivasan; Michael C. Grace; Xuxian Jiang (IEEE Trans. Inf. Forensics Secur., 2011)

Isolating commodity hosted hypervisors with HyperLock. - Zhi Wang 004; Chiachih Wu; Michael C. Grace; Xuxian Jiang (EuroSys, 2012)

RiskRanker: scalable and accurate zero-day android malware detection. - Michael C. Grace; Yajin Zhou; Qiang Zhang; Shihong Zou; Xuxian Jiang (MobiSys, 2012)

Systematic Detection of Capability Leaks in Stock Android Smartphones. - Michael C. Grace; Yajin Zhou; Zhi Wang 004; Xuxian Jiang (NDSS, 2012)

Unsafe exposure analysis of mobile in-app advertisements. - Michael C. Grace; Wu Zhou 001; Xuxian Jiang; Ahmad-Reza Sadeghi (WISEC, 2012)

The impact of vendor customizations on android security. - Lei Wu 012; Michael C. Grace; Yajin Zhou; Chiachih Wu; Xuxian Jiang (CCS, 2013)

Fast, scalable detection of "Piggybacked" mobile applications. - Wu Zhou 001; Yajin Zhou; Michael C. Grace; Xuxian Jiang; Shihong Zou (CODASPY, 2013)