Ruochen Dai

According to our database, Ruochen Dai authored at least 4 papers between 2023 and 2024.

Collaborative distances:

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

2024

Detecting Hardware Trojans using Model Guided Symbolic Execution.

Ruochen Dai, Tuba Yavuz

Proceedings of the Great Lakes Symposium on VLSI 2024, 2024

DTjRTL: A Configurable Framework for Automated Hardware Trojan Insertion at RTL.

Ruochen Dai, Zhaoxiang Liu, Orlando Arias, Xiaolong Guo, Tuba Yavuz

Proceedings of the Great Lakes Symposium on VLSI 2024, 2024

2023

A Symbolic Approach to Detecting Hardware Trojans Triggered by Don't Care Transitions.

Ruochen Dai, Tuba Yavuz

ACM Trans. Design Autom. Electr. Syst., March, 2023

VGF: Value-Guided Fuzzing - Fuzzing Hardware as Hardware.

Ruochen Dai, Michael Lee, Patrick Hoey, Weimin Fu, Tuba Yavuz, Xiaolong Guo, Shuo Wang, Dean Sullivan, Orlando Arias

CoRR, 2023