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.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
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)