Static analysis for discovering IoT vulnerabilities

• Published in: International journal on software tools for technology transfer Vol. 23; no. 1; pp. 71 - 88
• Main Authors: Ferrara, Pietro, Mandal, Amit Kr, Cortesi, Agostino, Spoto, Fausto
• Format: Journal Article
• Language: English
• Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.02.2021; Springer Nature B.V
• Subjects: Applications programs; Computer Science; Foundation for Mastering Change; Internet of Things; Robustness (mathematics); Security; Software Engineering; Software Engineering/Programming and Operating Systems; System effectiveness; Theory of Computation; IoT security; IoT privacy; OWASP IoT Top 10; Static analysis; Insecure IoT ecosystem interface

The Open Web Application Security Project (OWASP), released the “OWASP Top 10 Internet of Things 2018” list of the high-priority security vulnerabilities for IoT systems. The diversity of these vulnerabilities poses a great challenge toward development of a robust solution for their detection and mi...