Xuhua Ding
Singapore Management University
H-index: 25
Asia-Singapore
Top articles of Xuhua Ding
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Concretely Mapped Symbolic Memory Locations for Memory Error Detection | IEEE Transactions on Software Engineering | Haoxin Tu Lingxiao Jiang Jiaqi Hong Xuhua Ding He Jiang | 2024/4/30 |
How to Resuscitate a Sick VM in the Cloud | Xuhua Ding | 2023/6/27 | |
KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis | Pansilu Pitigalaarachchi Xuhua Ding Haiqing Qiu Haoxin Tu Jiaqi Hong | 2023/11/15 | |
DScope: To Reliably and Securely Acquire Live Data from Kernel-Compromised ARM Devices | Zhe Chen Haiqing Qiu Xuhua Ding | 2023/9/25 | |
Hardware-assisted Live Kernel Function Updating on Intel Platforms | IEEE Transactions on Dependable and Secure Computing | Lei Zhou Fengwei Zhang Kevin Leach Xuhua Ding Zhenyu Ning | 2023/7/31 |
FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers | Haoxin Tu Lingxiao Jiang Xuhua Ding He Jiang | 2022/11/7 | |
Smile: Secure memory introspection for live enclave | Lei Zhou Xuhua Ding Fengwei Zhang | 2022/5/22 | |
T-counter: Trustworthy and efficient CPU resource measurement using SGX in the cloud | IEEE Transactions on Dependable and Secure Computing | Chuntao Dong Qingni Shen Xuhua Ding Daoqing Yu Wu Luo | 2022/1 |
ScriptChecker: To tame third-party script execution with task capabilities | Wu Luo Xuhua Ding Pengfei Wu Xiaolei Zhang Qingni Shen | 2022/2 | |
Catch you with cache: Out-of-VM introspection to trace malicious executions | Chao Su Xuhua Ding Qingkai Zeng | 2021/6/21 | |
A novel dynamic analysis infrastructure to instrument untrusted execution flow across user-kernel spaces | Jiaqi Hong Xuhua Ding | 2021/5/24 | |
On the root of trust identification problem | (IPSN'21) ACM/IEEE Conference on Information Processing in Sensor Networks | Ivan De Oliveira Nunes Xuhua Ding Gene Tsudik | 2021 |
A coprocessor-based introspection framework via intel management engine | IEEE Transactions on Dependable and Secure Computing | Lei Zhou Fengwei Zhang Jidong Xiao Kevin Leach Westley Weimer | 2021/4/6 |
