FICS Research Computer and Information Science and Engineering University of Florida faculty Dr. Kevin Butler the Associate Director, Associate Professor and Assistant Professor in the Electrical and Computer Engineering Department at the University of Florida Dr. Tuba Yavuz were awarded an NSF STARSS grant to continue their work on securing the Internet of Things (IoT).
Many IoT devices use inexpensive microcontrollers for their operation, but there is no easy way to analyze their operation. Source code is almost completely unavailable for these devices, making it difficult to certify their safety and security. Professors Butler and Yavuz are developing tools and techniques to analyze the embedded binary firmware on IoT devices, creating formal models of their operation and analyzing the binary code to reason about device functionality. In doing so, they are creating new ways to ensure the security of the Internet of Things.
Find out more about this innovative research at https://www.firmware-analysis.org .