Ken Yihang Bai

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

Collaborative distances:

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

2025

Stateful Behavior Inference and Runtime Enforcement for Vehicle Network Security.

Achintya Desai, Ruochen Dai, Yanju Chen, Ky Ho, Austin Kee, Sophie Bulatovic, Md Shafiuzzaman, Ken Yihang Bai, Il Ung Jeong, David Siu, Tuba Yavuz, Tevfik Bultan

Proceedings of the 3rd USENIX Symposium on Vehicle Security and Privacy, 2025

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