Skip to content

Michael C. Grace

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

7

Active years

2007–2013

Best venue rank

A*

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2013CCSThe impact of vendor customizations on android security.Lei Wu, Michael C. Grace, Yajin Zhou, Chiachih Wu, Xuxian Jiang
2012EuroSysIsolating commodity hosted hypervisors with HyperLock.Zhi Wang, Chiachih Wu, Michael C. Grace, Xuxian Jiang
2012MobisysRiskRanker: scalable and accurate zero-day android malware detection.Michael C. Grace, Yajin Zhou, Qiang Zhang, Shihong Zou, Xuxian Jiang
2012NDSSSystematic Detection of Capability Leaks in Stock Android Smartphones.Michael C. Grace, Yajin Zhou, Zhi Wang, Xuxian Jiang
2010ACSACAnalyzing and improving Linux kernel memory protection: a model checking approach.Siarhei Liakh, Michael C. Grace, Xuxian Jiang
2010EuroSysDefeating return-oriented rootkits with "Jinku Li, Zhi Wang, Xuxian Jiang, Michael C. Grace, Sina Bahram
2010SecureCommTransparent Protection of Commodity OS Kernels Using Hardware Virtualization.Michael C. Grace, Zhi Wang, Deepa Srinivasan, Jinku Li, Xuxian Jiang, Zhenkai Liang, Siarhei Liakh
2007ITiCSEProofChecker: an accessible environment for automata theory correctness proofs.Matthias F. Stallmann, Suzanne Balik, Robert D. Rodman, Sina Bahram, Michael C. Grace, Susan D. High