Publications [Back]

• FortifyPatch: Towards Tamper-resistant Live Patching in Linux-based Hypervisor
  Zhenyu Ye, Lei Zhou, Fengwei Zhang, Wenqiang Jin, Zhenyu Ning*, Yupeng Hu*, and Zheng Qin
  In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), Vienna, Austria, September 2024.


• BFTRAND: Low-latency Random Number Provider for BFT Smart Contracts
  Jinghui Liao, Borui Gong, Wenhai Sun, Fengwei Zhang*, Zhenyu Ning, Man Ho Allen Au, and Weisong Shi
  To Appear In the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Brisbane, Australia, June 2024.


• CAGE: Complementing Arm CCA with GPU Extensions
  Chenxu Wang, Fengwei Zhang*, Yunjie Deng, Kevin Leach, Jiannong Cao, Zhenyu Ning, Shoumeng Yan, and Zhengyu He
  In Proceedings of the 31st Network and Distributed System Security Symposium (NDSS), San Diego, CA, February, 2024.


• Building a Lightweight Trusted Execution Environment for Arm GPUs
  Chenxu Wang, Yunjie Deng, Zhenyu Ning, Kevin Leach, Jin Li, Shoumeng Yan, Zhengyu He, Jiannong Cao, and Fengwei Zhang*
  To Appear In IEEE Transactions on Dependable and Secure Computing (TDSC), 2024. Impact Factor: 7.329.


• Raft: Hardware-assisted Dynamic Information Flow Tracking for Runtime Protection on RISC-V
  Yu Wang, Jinting Wu, Haodong Zheng, Zhenyu Ning, Boyuan He, Fengwei Zhang*
  In Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses (RAID), Hong Kong, October, 2023.


• Shelter: Extending Arm CCA with Isolation in User Space
  Yiming Zhangˆ, Yuxin Huˆ, Zhenyu Ning, Fengwei Zhang*, Xiapu Luo, Haoyang Huang, Shoumeng Yan, and Zhengyu He
  In Proceedings of the 32nd USENIX Security Symposium (USENIX Security), Anaheim, CA, August 2023. [slides]


• Hardware-assisted Live Kernel Function Updating on Intel Platforms
  Lei Zhou, Fengwei Zhang*, Kevin Leach, Xuhua Ding, Zhenyu Ning, Guojun Wang, and Jidong Xiao
  To Appear In IEEE Transactions on Dependable and Secure Computing (TDSC), July 2023.


• Alligator In Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
  Yiming Zhang, Yuxin Hu, Haonan Li, Wenxuan Shi, Zhenyu Ning*, Xiapu Luo*, and Fengwei Zhang
  In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), Seattle, Washington, July 2023. [slides]


• Revisiting ARM Debugging Features: Nailgun and Its Defense
  Zhenyu Ning, Chenxu Wang, Yinhua Chen, Fengwei Zhang*, and Jiannong Cao
  TIn IEEE Transactions on Dependable and Secure Computing (TDSC), Vol.20, No.1, pp.574-589, 2023. Impact Factor: 6.404.


• StrongBox: A GPU TEE on Arm Endpoints
  Yunjie Dengˆ, Chenxu Wangˆ, Shunchang Yu, Shiqing Liu, Zhenyu Ning, Kevin Leach, Jin Li, Shoumeng Yan, Zhengyu He, Jiannong Cao, and Fengwei Zhang*
  In Proceedings of the 29th ACM Conference on Computer and Communications Security (CCS), Los Angeles, CA, November 2022. [slides]


• RetTag: Hardware-assisted Return Address Integrity on RISC-V
  Yu Wang, Jinting Wu, Tai Yue, Zhenyu Ning*, and Fengwei Zhang
  In Proceedings of the 15th European Workshop on Systems Security (EuroSec), in conjunction with the European Conference on Computer Systems (EuroSys), Rennes, France, April 2022. [slides]


• A Novel Memory Management for RISC-V Enclaves
  Haonan Liˆ, Weijie Huangˆ, Mingde Ren, Hongyi Lu, Zhenyu Ning*, Heming Cui, and Fengwei Zhang
  In Proceedings of the Hardware and Architectural Support for Security and Privacy (HASP), in conjunction with the 54th IEEE/ACM International Symposium on Microarchitecture (MICRO), October 2021. [slides][video]


• HART: Hardware-assisted Kernel Module Tracing on Arm
  Yunlan Duˆ, Zhenyu Ningˆ, Jun Xu, Zilong Wang, Yueh-Hsun Lin, Fengwei Zhang*, Xinyu Xing, and Bing Mao
  In Proceedings of the 25th European Symposium on Research in Computer Security (ESORICS), Guildford, United Kingdom, September 2020. [slides][1-minute video][15-minutes video]


• KShot: Live Kernel Patching with SMM and SGX
  Lei Zhou, Fengwei Zhang*, Jinghui Liao, Zhenyu Ning, Jidong Xiao, Kevin Leach, Westley Weimer, and Guojun Wang
  In Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Valencia, Spain, June 2020. (Runner-up Best Paper Award, 3 out of 291 submissions). [slides][1-minute video]


• A Study of Using TEE on Edge Computing (基于边缘计算的可信执行环境研究)
  Zhenyu Ning, Fengwei Zhang*, and Weisong Shi
  In Journal of Computer Research and Development (JCDR, 计算机研究与发展), Vol.56, No.7, pp.1441-1453, 2019. Impact Factor: 1.901.


• Understanding the Security of Traffic Signal Infrastructure
  Zhenyu Ning, Fengwei Zhang*, and Stephen Remias
  In Proceedings of the 16th Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA), Gothenburg, Sweden, June 2019. [slides]


• Understanding the Security of ARM Debugging Features
  Zhenyu Ning and Fengwei Zhang*
  In Proceedings of the 40th IEEE Symposium on Security & Privacy (S&P), San Francisco, California, May, 2019. [slides][video][PoC][demo1][demo2]


• Hardware-assisted Transparent Tracing and Debugging on ARM
  Zhenyu Ning and Fengwei Zhang*
  In IEEE Transactions on Information Forensics & Security (TIFS), Vol.14, No.6, pp.1595-1609, 2019. Impact Factor: 5.824.


• Preliminary Study of Trusted Execution Environments on Heterogeneous Edge Platforms
  Zhenyu Ning, Jinghui Liao, Fengwei Zhang, and Weisong Shi
  In Proceedings of the 1st ACM/IEEE Workshop on Security and Privacy in Edge Computing (EdgeSP), in conjunction with The 3rd ACM/IEEE Symposium on Edge Computing (SEC), Bellevue, WA, October 2018. [slides]


• DexLego: Reassembleable Bytecode Extraction for Aiding Static Analysis
  Zhenyu Ning and Fengwei Zhang*
  In Proceedings of the 48th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Luxembourg, June 2018. [slides]


• Ninja: Towards Transparent Tracing and Debugging on ARM
  Zhenyu Ning and Fengwei Zhang*
  In Proceedings of the 26th USENIX Security Symposium (USENIX Security), Vancouver, BC, Canada, August 2017. [slides][video]


• Position Paper: Challenges Towards Securing Hardware-assisted Execution Environments
  Zhenyu Ning, Fengwei Zhang, Weisong Shi, and Larry Shi
  In Proceedings of the Hardware and Architectural Support for Security and Privacy (HASP) , in conjunction with The 44th International Symposium on Computer Architecture (ISCA), Toronto, ON, Canada, June 2017. [slides]