 | 2012 |
|---|
| 7 |       | Zhi Wang,
Chiachih Wu,
Michael C. Grace,
Xuxian Jiang:
Isolating commodity hosted hypervisors with HyperLock.
EuroSys 2012: 127-140 |
| 6 | | Michael C. Grace,
Wu Zhou,
Xuxian Jiang,
Ahmad-Reza Sadeghi:
Unsafe exposure analysis of mobile in-app advertisements.
WISEC 2012: 101-112 |
| 2011 |
|---|
| 5 | | Jinku Li,
Zhi Wang,
Tyler K. Bletsch,
Deepa Srinivasan,
Michael C. Grace,
Xuxian Jiang:
Comprehensive and Efficient Protection of Kernel Control Data.
IEEE Transactions on Information Forensics and Security 6(4): 1404-1417 (2011) |
| 2010 |
|---|
| 4 | | Siarhei Liakh,
Michael C. Grace,
Xuxian Jiang:
Analyzing and improving Linux kernel memory protection: a model checking approach.
ACSAC 2010: 271-280 |
| 3 | | Jinku Li,
Zhi Wang,
Xuxian Jiang,
Michael C. Grace,
Sina Bahram:
Defeating return-oriented rootkits with "Return-Less" kernels.
EuroSys 2010: 195-208 |
| 2 | | Michael C. Grace,
Zhi Wang,
Deepa Srinivasan,
Jinku Li,
Xuxian Jiang,
Zhenkai Liang,
Siarhei Liakh:
Transparent Protection of Commodity OS Kernels Using Hardware Virtualization.
SecureComm 2010: 162-180 |
| 2007 |
|---|
| 1 | | Matthias F. Stallmann,
Suzanne Balik,
Robert D. Rodman,
Sina Bahram,
Michael C. Grace,
Susan D. High:
ProofChecker: an accessible environment for automata theory correctness proofs.
ITiCSE 2007: 48-52 |
Data released under the ODC-BY 1.0 license — See also our legal information page