Miao Yu
Miao Yu
Verified email at cmu.edu
Title
Cited by
Cited by
Year
ROPecker: A generic and practical approach for defending against ROP attack
Y Cheng, Z Zhou, M Yu, X Ding, RH Deng
Network and Distributed System Security Symposium (NDSS), 2014
3202014
VGRIS: Virtualized GPU resource isolation and scheduling in cloud gaming
Z Qi, J Yao, C Zhang, M Yu, Z Yang, H Guan
ACM Transactions on Architecture and Code Optimization (TACO) 11 (2), 1-25, 2014
1002014
Dancing with giants: Wimpy kernels for on-demand isolated i/o
Z Zhou, M Yu, VD Gligor
2014 IEEE symposium on security and privacy, 308-323, 2014
682014
vGASA: Adaptive scheduling algorithm of virtualized GPU resource in cloud gaming
C Zhang, J Yao, Z Qi, M Yu, H Guan
IEEE Transactions on Parallel and Distributed Systems 25 (11), 3036-3045, 2013
602013
Trusted display on untrusted commodity platforms
M Yu, VD Gligor, Z Zhou
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications …, 2015
262015
Hypervisor-based protection of sensitive files in a compromised system
J Wang, M Yu, B Li, Z Qi, H Guan
Proceedings of the 27th annual ACM symposium on applied computing, 1765-1770, 2012
182012
Vis: Virtualization enhanced live forensics acquisition for native system
M Yu, Z Qi, Q Lin, X Zhong, B Li, H Guan
Digital Investigation, 2012
162012
A virtualization based monitoring system for mini-intrusive live forensics
X Zhong, C Xiang, M Yu, Z Qi, H Guan
International Journal of Parallel Programming 43 (3), 455-471, 2015
122015
VASP: virtualization assisted security monitor for cross-platform protection
M Zhu, M Yu, M Xia, B Li, P Yu, S Gao, Z Qi, L Liu, Y Chen, H Guan
Proceedings of the 2011 ACM Symposium on Applied Computing, 554-559, 2011
112011
Vis: virtualization enhanced live acquisition for native system
M Yu, Q Lin, B Li, Z Qi, H Guan
Proceedings of the Second Asia-Pacific Workshop on Systems, 1-5, 2011
102011
Enhanced privilege separation for commodity software on virtualized platform
M Xia, M Yu, Q Lin, Z Qi, H Guan
2010 IEEE 16th International Conference on Parallel and Distributed Systems …, 2010
82010
SPAD: Software Protection Through Anti-Debugging Using Hardware-Assisted Virtualization
Z QI, B LI, Q LIN, M YU, M XIA, H GUAN
JOURNAL OF INFORMATION SCIENCE AND ENGINEERING 28, 813-827, 2012
62012
Anti-debugging framework based on hardware virtualization technology
T Yi, A Zong, M Yu, S Gao, Q Lin, P Yu, Z Ren, Z Qi
2009 International Conference on Research Challenges in Computer Science …, 2009
62009
Dancing with giants: Wimpy kernels for on-demand I/O isolation
Z Zhou, M Yu, VD Gligor
IEEE Security & Privacy 13 (2), 38-46, 2015
32015
NewBluePill 深入理解硬件虚拟机
于淼, 戚正伟
Qing hua da xue chu ban she, 2011
22011
HBSP: A Lightweight Hardware Virtualization Based Framework for Transparent Software Protection in Commodity Operating Systems
M Yu, P Yu, S Gao, Q Lin, M Zhu, Z Qi
Frontier of Computer Science and Technology, 2009. FCST'09. Fourth …, 2009
22009
An I/O Separation Model for Formal Verification of Kernel Implementations
M Yu, V Gligor, L Jia
IEEE Symposium on Security and Privacy, 2021
12021
SPAD: software protection through anti-debugging using hardware virtualization
Q Lin, M Xia, M Yu, P Yud, M Zhu, S Gao, Z Qi, K Chen, H Guan
Proceedings of the 2011 ACM Symposium on Applied Computing, 623-624, 2011
12011
Resource scheduling system and method under graphics processing unit virtualization based on instant feedback of application effect
M Yu, Z Qi, H Guan, Y Wang
US Patent 10,922,140, 2021
2021
Method and apparatus for trusted display on untrusted computing platforms to secure applications
VD Gligor, Z Zhou, M Yu
US Patent App. 16/937,183, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20