Tutorial: Detecting Memory Vulnerabilities in the Components of System Code using PROMPT. - Tuba Yavuz; Ken Yihang Bai (SecDev, 2020)

Analyzing system software components using API model guided symbolic execution. - Tuba Yavuz; Ken Yihang Bai (Autom. Softw. Eng., 2020)

MMIO Access-Based Coverage for Firmware Analysis. - Ken Yihang Bai; Tuba Yavuz (CNS, 2023)

ENCIDER: Detecting Timing and Cache Side Channels in SGX Enclaves and Cryptographic APIs. - Tuba Yavuz; Farhaan Fowze; Grant Hernandez; Ken Yihang Bai; Kevin R. B. Butler; Dave Jing Tian (IEEE Trans. Dependable Secur. Comput., 2023)

Generating Maximal Configurations and Their Variants Using Code Metrics. - Tuba Yavuz; Chin Khor; Ken Yihang Bai; Robyn R. Lutz (CoRR, 2024)