Old Web
English
Sign In
Acemap
>
Paper
>
ForASec: Formal Analysis of Hardware Trojan-based Security Vulnerabilities in Sequential Circuits
ForASec: Formal Analysis of Hardware Trojan-based Security Vulnerabilities in Sequential Circuits
2021
Faiq Khalid
Imran Hafeez Abbassi
Semeen Rehman
Awais Mehmood Kamboh
Osman Hasan
Muhammad Shafique
Keywords:
Formal verification
Hardware Trojan
Sequential logic
Embedded system
Model checking
Logic gate
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
27
References
0
Citations
NaN
KQI
[]