McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits

McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits

The rising trend of globalization in the integrated circuits' design process has increased their vulnerabilities against malicious intrusions. The security vulnerability analysis using conventional design time simulations is computationally intensive and incomplete by nature. Formal verificatio...

Full description

Bibliographic Details
Main Authors: Imran Hafeez Abbassi, Faiq Khalid, Osman Hasan, Awais Mehmood Kamboh, Muhammad Shafique
Format: Article
Language:English
Published: IEEE 2018-01-01
Series:IEEE Access
Subjects:
Gate level modeling
formal verification
hardware Trojan
model checking
leakage power
dynamic power
Online Access:https://ieeexplore.ieee.org/document/8382172/

Internet

https://ieeexplore.ieee.org/document/8382172/

Similar Items