Secure and Reliable System Research Lab

This lab aims to enhance the security and reliability of the systems via new novel solutions at the compiler, OS, and communication layers. The systems we target include microcontroller- and microprocessor-based systems.

Dr. Xi Tan is the director of the lab. She is an Assistant Professor in the Department of Computer Science at the University of Colorado Colorado Springs. She received her Ph.D. in Computer Science from the University at Buffalo in 2024.

We have RA openings starting from Spring 2025. Feel free to drop your package (CV, transcript, project experience, etc.) at xtan4 AT uccs.edu!

News

Aug 19, 2024

[Job] Xi joined the University of Colorado Colorado Springs as an Assistant Professor!

May 13, 2024

[Paper] New paper entitled "SoK: Where's the “up”?! A Comprehensive (bottom-up) Study on the Security of Arm Cortex-M Systems" will appear in USENIX WOOT '24! Check out the open-source repo [here]!

Dec 12, 2023
Nov 15, 2023

[Paper] New paper entitled "Is the Canary Dead? On the Effectiveness of Stack Canaries on Microcontroller Systems" will appear in SAC'24!

Aug 10, 2023

[Paper] New paper entitled "SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems" will appear in CCS'23! Check out the open-source repo [here]!

Feb 27, 2023

[Paper] New paper entitled "Return-to-Non-Secure Vulnerabilities on ARM Cortex-M TrustZone: Attack and Defense" will appear in DAC'23! Check out our open-source repo [here]!

Apr 26, 2023

[CTF] Team Cacti (Zheyuan Ma, Gaoxiang Liu, Xi Tan, Md Armanuzzaman, Trevor Schupbach, Safayat Bin Hakim, Sagar Mohan, and Hiu Laam Chau) advised by Dr. Zhao and Dr. Hu placed 4th in MITRE eCTF 2023! Check out our open-source repo [here]!

xx, xxxx

Old news