Login / Signup
Ruochen Dai
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
State Transition
Hardware And Software
Massively Parallel
Hardware Implementation
Top Venues
CoRR
ACM Trans. Design Autom. Electr. Syst.
</>
Publications
</>
Ruochen Dai
,
Tuba Yavuz
A Symbolic Approach to Detecting Hardware Trojans Triggered by Don't Care Transitions.
ACM Trans. Design Autom. Electr. Syst.
28 (2) (2023)
Ruochen Dai
,
Michael Lee
,
Patrick Hoey
,
Weimin Fu
,
Tuba Yavuz
,
Xiaolong Guo
,
Shuo Wang
,
Dean Sullivan
,
Orlando Arias
VGF: Value-Guided Fuzzing - Fuzzing Hardware as Hardware.
CoRR
(2023)
Ruochen Dai
,
Tuba Yavuz
A Symbolic Approach to Detecting Hardware Trojans Triggered by Don't Care Transitions.
CoRR
(2021)