Header menu link for other important links
Formal verification for security in IoT devices
Published in Springer International Publishing
Pages: 179 - 200
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
Open AccessNo