Login / Signup
Nick Hooten
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Decision Trees
Levels Of Abstraction
Query Processing
Security Properties
Top Venues
ICCAD
ITC
</>
Publications
</>
Arash Vafaei
,
Nick Hooten
,
Mark M. Tehranipoor
,
Farimah Farahmandi
SymbA: Symbolic Execution at C-level for Hardware Trojan Activation.
ITC
(2021)
Bulbul Ahmed
,
Fahim Rahman
,
Nick Hooten
,
Farimah Farahmandi
,
Mark M. Tehranipoor
AutoMap: Automated Mapping of Security Properties Between Different Levels of Abstraction in Design Flow.
ICCAD
(2021)