SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems. - Xi Tan 002; Ziming Zhao 001 (CCS, 2023)

Return-to-Non-Secure Vulnerabilities on ARM Cortex-M TrustZone: Attack and Defense. - Zheyuan Ma; Xi Tan 002; Lukasz Ziarek; Ning Zhang 017; Hongxin Hu; Ziming Zhao 001 (DAC, 2023)

InsectACIDE: Debugger-Based Holistic Asynchronous CFI for Embedded System. - Yujie Wang; Cailani Lemieux Mack; Xi Tan 002; Ning Zhang 017; Ziming Zhao 001; Sanjoy K. Baruah; Bryan C. Ward (RTAS, 2024)

Is the Canary Dead? On the Effectiveness of Stack Canaries on Microcontroller Systems. - Xi Tan 002; Sagar Mohan; Md. Armanuzzaman; Zheyuan Ma; Gaoxiang Liu; Alex Eastman; Hongxin Hu; Ziming Zhao 001 (SAC, 2024)

Trusted Execution Environments in Embedded and IoT Systems: A CactiLab Perspective. - Ziming Zhao 001; Md. Armanuzzaman; Xi Tan 002; Zheyuan Ma (SEED, 2024)

SoK: Where's the "up"?! A Comprehensive (bottom-up) Study on the Security of Arm Cortex-M Systems. - Xi Tan 002; Zheyuan Ma; Sandro Pinto 001; Le Guan; Ning Zhang 017; Jun Xu 024; Zhiqiang Lin 001; Hongxin Hu; Ziming Zhao 001 (WOOT @ USENIX Security Symposium, 2024)

Where's the "up"?! A Comprehensive (bottom-up) Study on the Security of Arm Cortex-M Systems. - Xi Tan 002; Zheyuan Ma; Sandro Pinto 001; Le Guan; Ning Zhang 017; Jun Xu 024; Zhiqiang Lin 001; Hongxin Hu; Ziming Zhao 001 (CoRR, 2024)

"We just did not have that on the embedded system": Insights and Challenges for Securing Microcontroller Systems from the Embedded CTF Competitions. - Zheyuan Ma; Gaoxiang Liu; Alex Eastman; Kai Kaufman; Md. Armanuzzaman; Xi Tan 002; Katherine Jesse; Robert Walls; Ziming Zhao 001 (CoRR, 2025)