Login / Signup
Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans.
Imran Hafeez Abbasi
Faiq Khalid Lodhi
Awais Mehmood Kamboh
Osman Hasan
Published in:
FTSCS (2016)
Keyphrases
</>
formal verification
model checking
real time
artificial intelligence
higher level
low cost
maximum likelihood
detection method
parameter values
hardware and software
bounded model checking
image processing
multi agent systems
countermeasures
automated verification