Abstract
A hybrid Hardware Trojan detection technique is proposed in this paper that combines Combinatorial Testing in order to consistently trigger the Hardware Trojan, if one is present, and a grid of compact on-chip sensors in order to detect differentiations in the circuit of the FPGA. Each sensor mainly consist of a three stage Ring Oscillator and a compact Residue Number System ring counter and requires just two FPGA slices, leading to a total overhead of less than 2% in hardware resources. The proposed technique was tested on a cryptographic module performing AES cipher. To emulate the effects of a Hardware Trojan, we used a 64-bit Linear Feedback Shift Register. The experimental results prove that the proposed hybrid technique can detect the presence of a Hardware Trojan.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Tehranipoor, M., Wang, C.: Introduction to Hardware Security and Trust. Springer, New York (2011). https://doi.org/10.1007/978-1-4419-8080-9
Mishra, P., Bhunia, S., Tehranipoor, M. (eds.): Hardware IP Security and Trust. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-49025-0
Zhang, X., Tehranipoor, M.: RON: an on-chip ring oscillator network for hardware Trojan detection. In: Design, Automation & Test in Europe 2011, Grenoble, France, 14–18 March 2011 (2011)
Kelly, S., Zhang, X., Tehranipoor, M., Ferraiuolo, A.: Detecting hardware trojans using on-chip sensors in an ASIC design. J. Electron. Test. 31(1), 11–26 (2015)
Lecomte, M., Fournier, J., Maurine, P.: An on-chip technique to detect hardware Trojans and assist counterfeit identification. IEEE Trans. Very Large Scale Integr. (VLSI) Syst. 25(12), 3317–3330 (2017)
Pyrgas, L., Pirpilidis, F., Panayiotarou, A., Kitsos, P.: Thermal sensor based hardware Trojan detection in FPGAs. In: 20th Euromicro Conference on Digital Systems (DSD 2017), Vienna, Austria, 30 August–1 September 2017 (2017)
Mandal, M.K., Sarkar, B.C.: Ring oscillators: characteristics and applications. Indian J. Pure Appl. Phys. 48, 136–145 (2010)
Yu, H., Leong, P.H.W., Hinkelmann, H., Moller, L., Glesner, M., Zipf, P.: Towards a unique FPGA-based identification circuit using process variations. In: 2009 International Conference on Field Programmable Logic and Applications, Prague, Czech Republic, 31 August–2 September 2009 (2009)
Eiroa, S., Baturone, I.: An analysis of ring oscillator PUF behavior on FPGAs. In: 2011 International Conference on Field-Programmable Technology, New Delhi, India, 12–14 December 2011 (2011)
Lopez-Buedo, S., Garrido, J., Boemo, E.I.: Dynamically inserting, operating, and eliminating thermal sensors of FPGA-based systems. IEEE Trans. Compon. Packag. Technol. 25(4), 561–566 (2002)
Velusamy, S., Huang, W., Lach, J., Stan, M., Skadron, K.: Monitoring temperature in FPGA based SoCs. In: International Conference on Computer Design (ICCD 2005), San Jose, California, pp. 634–640 (2005)
Sayed, M., Jones, P.: Characterizing non-ideal impacts of reconfigurable hardware workloads on ring oscillator-based thermometers. In: 2011 International Conference on ReConFig, pp. 92–98, December 2011
Zick, K.M., Hayes, J.P.: Low-cost sensing with ring oscillator arrays for healthier reconfigurable systems. ACM Trans. Reconfig. Technol. Syst. 5(1), 1:1–1:26 (2012)
Li, X., Carrion Schafer, B.: Temperature-triggered behavioral IPs HW Trojan detection method with FPGAs. In: 25th International Conference on Field Programmable Logic and Applications (FPL 2015), London, United Kingdom, 2–4 September 2015 (2015)
Lesperance, N., Kulkarni, S., Cheng, K.-T.: Hardware Trojan detection using exhaustive testing of k-bit subspaces. In: 2015 20th Asia and South Pacific Design Automation Conference (ASP-DAC), Tokyo, Japan. IEEE, January 2015
Flottes, M.-L., Dupuis, S., Ba, P.-S., Rouzeyre, B.: On the limitations of logic testing for detecting hardware Trojans horses. In: 2015 10th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS) (2015)
Cruz, J., Farahmand, F., Ahmed, A., Mishra, P.: Hardware Trojan detection using ATPG and model checking. In: International Conference on VLSI Design, Pune, India, 6–10 January 2018 (2018)
Chakraborty, R.S., Wolff, F., Paul, S., Papachristou, C., Bhunia, S.: MERO: A Statistical Approach for Hardware Trojan Detection. In: Clavier, C., Gaj, K. (eds.) CHES 2009. LNCS, vol. 5747, pp. 396–410. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04138-9_28
Huang, Y., Bhunia, S., Mishra, P.: MERS: statistical test generation for side-channel analysis based Trojan detection. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, 24–28 October 2016 (2016)
Kitsos, P., Simos, D.E., Torres-Jimenez, J., Voyiatzis, A.G.: Exciting FPGA cryptographic Trojans using combinatorial testing. In: 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015), Gaithersburg, MD, USA, 2–5 November 2015 (2015)
Voyiatzis, A.G., Stefanidis, K.G., Kitsos, P.: Efficient triggering of Trojan hardware logic. In: 19th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2016), Kosice, Slovakia, 20–22 April 2016 (2016)
Simos, D.E., Kuhn, R., Voyiatzis, A.G., Kacker, R.: Combinatorial methods in security testing. IEEE Comput. 49(10), 80–83 (2016)
Zick, K.M., Hayes, J.P.: On-line sensing for healthier FPGA systems. In: 18th Annual ACM/SIGDA International Symposium on Field Programmable Gate Arrays, Monterey, California, USA, 21–23 February 2010 (2010)
Kuhn, D., Bryce, R., Duan F., Ghandehari, L., Lei, Y., Kacker, R.: Combinatorial testing: theory and practice. In: Advances in Computers, vol. 99. Academic Press (2015)
https://www.xilinx.com/products/boards-and-kits/1-54wqge.html
Abramovici, M., Breuer, M.A., Friedman, A.D.: Digital Systems Testing and Testable Design. IEEE Press, New York (1990)
Acknowledgements
This work was co-financed by Greece and the European Union - European Regional Development Fund (NSRF/EPAnEK I3T-5002434).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Pyrgas, L., Kitsos, P. (2018). A Hybrid FPGA Trojan Detection Technique Based-on Combinatorial Testing and On-chip Sensing. In: Voros, N., Huebner, M., Keramidas, G., Goehringer, D., Antonopoulos, C., Diniz, P. (eds) Applied Reconfigurable Computing. Architectures, Tools, and Applications. ARC 2018. Lecture Notes in Computer Science(), vol 10824. Springer, Cham. https://doi.org/10.1007/978-3-319-78890-6_24
Download citation
DOI: https://doi.org/10.1007/978-3-319-78890-6_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-78889-0
Online ISBN: 978-3-319-78890-6
eBook Packages: Computer ScienceComputer Science (R0)