Abstract
Internet of Things (IoT) device software has to be resistant to faults to ensure data privacy and security. In this work, we examine five common software hardening techniques and study their impact on software fault-tolerance and security. We experimentally show that some of these techniques may improve fault-tolerance, while the others can reduce overall security. We offer a guideline for IoT developers seeking to make their software robust, and propose a tool for automatic software fault-tolerance evaluation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Available from https://github.com/zavalyshyn/chaosduck.
- 2.
Available from http://www.lightweightcrypto.org/implementations.php.
References
Bar-El, H., Choukri, H., Naccache, D., Tunstall, M., Whelan, C.: The sorcerer’s apprentice guide to fault attacks. Proc. IEEE 94(2), 370–382 (2006)
Barbu, G., Andouard, P., Giraud, C.: Dynamic fault injection countermeasure. In: Proceedings of CARDIS (2012)
Bogdanov, A., et al.: Present: an ultra-lightweight block cipher. In: Proceedings of CHES (2007)
Cheynet, P., Nicolescu, B., Velazco, R., Rebaudengo, M., Reorda, M.S., Violante, M.: Experimentally evaluating an automatic approach for generating safety-critical software with respect to transient errors. IEEE Trans. Nucl. Sci. 47(6), 2231–2236 (2000)
Ghalaty, N.F., Yuce, B., Schaumont, P.: Differential fault intensity analysis on present and led block ciphers. In: Proceedings of COSADE (2015)
Gilley, G.C., et al.: Ftcs, digest of papers (1971)
Given-Wilson, T., Heuser, A., Jafri, N., Legay, A.: An automated and scalable formal process for detecting fault injection vulnerabilities in binaries. Concurr. Comput.: Pract. Exp. 31(23), e4794 (2019)
Given-Wilson, T., Jafri, N., Legay, A.: The state of fault injection vulnerability detection. In: Proceedings of VECoS (2018)
Given-Wilson, T., Jafri, N., Legay, A.: Combined software and hardware fault injection vulnerability detection. Innovations Syst. Softw. Eng. 16(2), 101–120 (2020)
Given-Wilson, T., Legay, A.: Formalising fault injection and countermeasures. In: Proceedings of ARES (2020)
Lalande, J.F., Heydemann, K., Berthomé, P.: Software countermeasures for control flow integrity of smart card C codes. In: Proceedings of ESORICS (2020)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Zavalyshyn, I., Given-Wilson, T., Legay, A., Sadre, R. (2020). Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software. In: Devismes, S., Mittal, N. (eds) Stabilization, Safety, and Security of Distributed Systems. SSS 2020. Lecture Notes in Computer Science(), vol 12514. Springer, Cham. https://doi.org/10.1007/978-3-030-64348-5_25
Download citation
DOI: https://doi.org/10.1007/978-3-030-64348-5_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-64347-8
Online ISBN: 978-3-030-64348-5
eBook Packages: Computer ScienceComputer Science (R0)