Hardware Trojan Detection via Multi-Stage Verification
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Current methods for securing electronic facilities against hardware trojans are inadequate, as they either ignore cybersecurity measures, rely on detection mechanisms that can miss well-hidden trojans, or focus on post-attack recovery without effective prevention strategies.
Innovation Solution
The proposed solution involves creating a computer-implemented method and system for securing electronic facilities by using a facility model to analyze trojan vulnerabilities, inserting selected instruments to detect and monitor trojan effects, and evaluating their efficiency and cost-effectiveness through emulation.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Measurement precision
If detection mechanisms are used to identify hardware trojans, then trojan detection capability is improved, but well-hidden trojans may still be missed
Solution Approach 1:
The verification process is segmented into multiple independent stages: formal verification, property verification, and testbench verification. Each stage focuses on specific aspects of trojan detection, allowing comprehensive coverage without requiring a single complex detection mechanism to identify all trojans.
Solution Approach 2:
The patent applies excessive verification by implementing multiple layers of verification beyond what a single detection mechanism would provide. This includes formal verification of design properties, property-based verification, and extensive testbench verification, ensuring that even well-hidden trojans are detected through the cumulative effect of multiple verification actions.
2Reliability
If cybersecurity measures are implemented in electronic facilities, then security against hardware trojans is improved, but device complexity increases
Solution Approach 1:
The verification system is segmented into modular components: formal verification modules, property verification modules, and testbench verification modules. Each module handles specific verification tasks independently, reducing the complexity of the overall system while maintaining comprehensive security verification capability.
Solution Approach 2:
The verification framework is designed to be self-service through automated formal verification and property checking. The system automatically verifies design properties and generates test cases without requiring manual intervention, reducing the operational complexity of implementing cybersecurity measures.
3Measurement precision
If formal verification and property verification are performed, then trojan vulnerability analysis is improved, but verification time and computational resources increase
Solution Approach 1:
The verification process is divided into sequential stages: formal verification of critical properties, property verification of security requirements, and testbench verification of overall system behavior. This segmentation allows computationally intensive formal verification to be applied selectively to critical areas, reducing total verification time while maintaining high accuracy in vulnerability analysis.
Solution Approach 2:
Formal verification and property verification are performed preliminary to physical implementation and deployment. This early verification identifies vulnerabilities in the design phase when modifications are easier and less costly, reducing the need for extensive re-verification later and optimizing the overall verification time investment.
Data Source
AI summary
A hardware trojan security system may perform a computer implemented method to secure an electronic facility in relation to a hardware trojan, by performing a trojan vulnerability analysis, locating an instrument site location, identifying a selected instrument in relation to an effect of the trojan, marking instrument control-side markers and instrument operative-side markers, marking facility model control-side markers and facility model operative-side markers, marking access architecture control-side markers, and connecting the instrument with the facility model and access architecture by matching corresponding markers.