Login / Signup
Adam G. Kimura
ORCID
Publication Activity (10 Years)
Years Active: 2013-2021
Publications (10 Years): 3
Top Topics
Petri Net Model
Integrated Circuit
Business Process
Video Sequences
Top Venues
MWSCAS
IACR Cryptol. ePrint Arch.
J. Hardw. Syst. Secur.
</>
Publications
</>
Katie Liszewski
,
Tim McDonley
,
Josh Delozier
,
Andrew Elliott
,
Dylan Jones
,
Matthew Sutter
,
Adam G. Kimura
Netlist Decompilation Workflow for Recovered Design Verification, Validation, and Assurance.
IACR Cryptol. ePrint Arch.
2021 (2021)
Adam G. Kimura
,
Jon Scholl
,
James Schaffranek
,
Matthew Sutter
,
Andrew Elliott
,
Mike Strizich
,
Glen David Via
A Decomposition Workflow for Integrated Circuit Verification and Validation.
J. Hardw. Syst. Secur.
4 (1) (2020)
Adam G. Kimura
,
Steven B. Bibyk
Quantifying metrics for analyzing integrated circuit design integrity.
MWSCAS
(2016)
Adam G. Kimura
,
Kai-Wei Liu
,
Siddharth Prabhu
,
Steven B. Bibyk
,
Greg Creech
Trusted verification test bench development for Phase-Locked Loop (PLL) hardware insertion.
MWSCAS
(2013)