| 2024 | CSCWD | Oblivious Demand Paging with Ring ORAM in RISC-V Trusted Execution Environments. | Wenjing Cai, Ziyuan Zhu, Yuxin Liu, Yusha Zhang, Xu Cheng |
| 2024 | CSCWD | A Module Level Security Evaluation Method Based on Model Checking. | Yuxin Liu, Ziyuan Zhu, Yusha Zhang, Zhongkai Tong, Wenjing Cai, Dan Meng |
| 2024 | CSCWD | KSM: Killer of Spectre and Meltdown Attacks. | Zhongkai Tong, Ziyuan Zhu, Yusha Zhang, Yuxin Liu, Dan Meng |
| 2024 | CSCWD | A Formal Verification Methodology for Cache Architectures Based on Noninterference Hyperproperties. | Yusha Zhang, Ziyuan Zhu, Yuxin Liu, Zhongkai Tong, Wenjing Cai, Dan Meng |
| 2023 | CSCWD | Detecting and Mitigating Cache Side Channel Threats on Intel SGX. | Wenjing Cai, Ziyuan Zhu, Yuxin Liu, Yusha Zhang, Xu Cheng |
| 2023 | TrustCom | Flush+Revisit: A Cross-CCX Side-Channel Attack on AMD Processors. | Danping Li, Ziyuan Zhu, Jiao Shen, Yusha Zhang, Gang Shi, Dan Meng |
| 2020 | TrustCom | Cache side-channel attacks detection based on machine learning. | Zhongkai Tong, Ziyuan Zhu, Zhanpeng Wang, Limin Wang, Yusha Zhang, Yuxin Liu |