iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://doi.org/10.1007/978-3-319-78890-6_24
A Hybrid FPGA Trojan Detection Technique Based-on Combinatorial Testing and On-chip Sensing | SpringerLink
Skip to main content

A Hybrid FPGA Trojan Detection Technique Based-on Combinatorial Testing and On-chip Sensing

  • Conference paper
  • First Online:
Applied Reconfigurable Computing. Architectures, Tools, and Applications (ARC 2018)

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Tehranipoor, M., Wang, C.: Introduction to Hardware Security and Trust. Springer, New York (2011). https://doi.org/10.1007/978-1-4419-8080-9

    Book  Google Scholar 

  2. 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

    Book  Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Article  Google Scholar 

  5. 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)

    Article  Google Scholar 

  6. 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)

    Google Scholar 

  7. Mandal, M.K., Sarkar, B.C.: Ring oscillators: characteristics and applications. Indian J. Pure Appl. Phys. 48, 136–145 (2010)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. 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)

    Article  Google Scholar 

  11. 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)

    Google Scholar 

  12. 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

    Google Scholar 

  13. 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)

    Article  Google Scholar 

  14. 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)

    Google Scholar 

  15. 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

    Google Scholar 

  16. 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)

    Google Scholar 

  17. 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)

    Google Scholar 

  18. 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

    Chapter  Google Scholar 

  19. 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)

    Google Scholar 

  20. 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)

    Google Scholar 

  21. 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)

    Google Scholar 

  22. Simos, D.E., Kuhn, R., Voyiatzis, A.G., Kacker, R.: Combinatorial methods in security testing. IEEE Comput. 49(10), 80–83 (2016)

    Article  Google Scholar 

  23. 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)

    Google Scholar 

  24. 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)

    Google Scholar 

  25. https://www.xilinx.com/products/boards-and-kits/1-54wqge.html

  26. https://opencores.org/project,aes_core

  27. Abramovici, M., Breuer, M.A., Friedman, A.D.: Digital Systems Testing and Testable Design. IEEE Press, New York (1990)

    Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Paris Kitsos .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics