Ken Yihang Bai

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Software Components

Top Venues

Autom. Softw. Eng.

Publications

Tuba Yavuz, Chin Khor, Ken Yihang Bai, Robyn R. Lutz
Generating Maximal Configurations and Their Variants Using Code Metrics. CoRR (2024)
Ken Yihang Bai, Tuba Yavuz
MMIO Access-Based Coverage for Firmware Analysis. CNS (2023)
Tuba Yavuz, Farhaan Fowze, Grant Hernandez, Ken Yihang Bai, Kevin R. B. Butler, Dave Jing Tian
ENCIDER: Detecting Timing and Cache Side Channels in SGX Enclaves and Cryptographic APIs. IEEE Trans. Dependable Secur. Comput. 20 (2) (2023)
Tuba Yavuz, Ken Yihang Bai
Tutorial: Detecting Memory Vulnerabilities in the Components of System Code using PROMPT. SecDev (2020)
Tuba Yavuz, Ken Yihang Bai
Analyzing system software components using API model guided symbolic execution. Autom. Softw. Eng. 27 (3) (2020)