Abstract
Some hardware Trojans are activated/triggered upon receiving a unique and unexpected vector made of signals of an original circuit or a sequence of such a vector. The fact makes test generation for hardware Trojan detection an extremely challenging task considering the complexity of modern designs and their verity of application. This chapter presents an overview on some of major efforts toward various test generation techniques for hardware Trojan detection after circuit manufacturing.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
S. Saha, R.S. Chakraborty, S.S. Nuthakki, Anshul, D. Mukhopadhyay, Improved test pattern generation for hardware Trojan detection using genetic algorithm and Boolean satisfiability. IACR Cryptology ePrint Archive 2015:1252 (2015)
R.S. Chakraborty, F. Wolff, S. Paul, C. Papachristou, S. Bhunia, MERO: A Statistical Approach for Hardware Trojan Detection (Springer, Berlin, 2009), pp. 396–410
M. Banga, M.S. Hsiao, A novel sustained vector technique for the detection of hardware Trojans, in 2009 22nd International Conference on VLSI Design (2009), pp. 327–332
X. Mingfu, H. Aiqun, H. Yi, L. Guyue, Monte carlo based test pattern generation for hardware Trojan detection, in 2013 IEEE 11th International Conference on Dependable, Autonomic and Secure Computing (2013), pp. 131–136
J. Cruz, F. Farahmandi, A. Ahmed, P. Mishra, Hardware Trojan detection using ATPG and model checking, in International Conference on VLSI Design (2018), pp. 1–6
Y. Huang, P, Mishra, Test generation for detection of malicious parametric variations, in Hardware IP Security and Trust (Springer, Cham, 2017)
H. Hajimiri, K. Rahmani, P. Mishra, Efficient peak power estimation using probabilistic cost-benefit analysis, in 2015 28th International Conference on VLSI Design (2015), pp. 369–374
K. Ganesan, L.K. John, Maximum multicore power (MAMPO)—an automatic multithreaded synthetic power virus generation framework for multicore systems, in 2011 International Conference for High Performance Computing, Networking, Storage and Analysis (SC) (2011), pp. 1–12
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Salmani, H. (2018). Trusted Testing Techniques for Hardware Trojan Detection. In: Trusted Digital Circuits. Springer, Cham. https://doi.org/10.1007/978-3-319-79081-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-79081-7_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-79080-0
Online ISBN: 978-3-319-79081-7
eBook Packages: EngineeringEngineering (R0)