Header menu link for other important links
X
Formal verification for security in IoT devices
Published in Springer International Publishing
2019
Pages: 179 - 200
Abstract
Online detection of cyber-attacks on IoT devices is extremely difficult due to the limited battery and computational power available in these devices. An alternate approach is to shrink the attack surface in order to reduce the threat of attack. This would require that the device undergo more stringent security tests before deployment. Formal verification is a promising tool that can be used to not only detect potential vulnerabilities but also provide guarantees of security. This chapter reviews several security issues that plague IoT devices such as functional correctness of implementations, programming bugs, side-channel analysis, and hardware Trojans. In each of these cases, we discuss state-of-the-art mechanisms that use formal verification tools to detect the vulnerability much before the device is deployed. © Springer Nature Switzerland AG 2019.
About the journal
JournalData powered by TypesetInternet of Things
PublisherData powered by TypesetSpringer International Publishing
ISSN21991073
Open AccessNo