Concepedia
Statistics
Publications
2
Citations
63
H-Index
Active since
2020
Affiliations
Battelle(Current)
United States Air Force Research Laboratory
Adam Kimura is an author at Battelle specializing in formal verification, engineering, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsHardware SecurityFormal VerificationComputer EngineeringComputer Architecture
Publications per year
2020–2020
A Decomposition Workflow for Integrated Circuit Verification and Validation
Adam Kimura, Jon Scholl, James Schaffranek et al. · Journal of Hardware and Systems Security · 2020 · 49 citations
Hardware Security, Engineering, Verification +8
From Silicon to Simulation: A Full Decomposition of a Fabricated 130 nm Serial Peripheral Interface for Establishing an Assurance Baseline Root-of-Trust
Adam Kimura, Adam R. Waite, Jon Scholl et al. · 2020 · 14 citations
1–2 of 2