SoK: Physical and Logic Testing Techniques for Hardware Trojan Detection

SoK: Physical and Logic Testing Techniques for Hardware Trojan Detection

연구 분야: Verification

학회: ASHES'20: Proceedings of the 4th ACM Workshop on Attacks and Solutions in Hardware Security

Hardware Trojans have emerged as great threat to the trustability of modern electronic systems. A deployed electronic system with one or more undetected Hardware Trojan-infected components can cause grave harm, ranging from personal information loss to destruction of national infrastructure. The inherently surreptitious nature and bewildering variety of Hardware Trojans makes their detection an extremely challenging exercise. In this paper, we explore the state-of-the-art of non-destructive testing for Hardware Trojan detection, with our coverage including both physical measurement based testing, as well as logic testing. We present systematic classification of Hardware Trojans and their detection techniques, and describe these techniques in details, including their stand-out features and strengths and weaknesses. We conclude the paper with an evaluation of the current status of progress, and major directions of future research.