Ken Yihang Bai

According to our database, Ken Yihang Bai authored at least 5 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Generating Maximal Configurations and Their Variants Using Code Metrics.

Tuba Yavuz, Chin Khor, Ken Yihang Bai, Robyn R. Lutz

CoRR, 2024

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

MMIO Access-Based Coverage for Firmware Analysis.

Ken Yihang Bai, Tuba Yavuz

Proceedings of the IEEE Conference on Communications and Network Security, 2023

2020

Analyzing system software components using API model guided symbolic execution.

Tuba Yavuz, Ken Yihang Bai

Autom. Softw. Eng., 2020

Tutorial: Detecting Memory Vulnerabilities in the Components of System Code using PROMPT.

Tuba Yavuz, Ken Yihang Bai

Proceedings of the IEEE Secure Development, SecDev 2020, Atlanta, GA, USA, 2020