WP1: Foundations for Building Secure Embedded Systems/Binary Code Analysis
IITD: Kolin Paul, Sanjiva Prasad, Subodh Sharma
Kyushu Univ.: Kenji Hisazumi, Hiroshi Koide
Student Zou Tianxiang
WP1 organizes several requests to an IoT device dedicated framework which provides functions to be able to easily develop a secure IoT system. Furthermore, it aims to describe different requests by application and achieve developing environment prototype to configure IoT device (semi-)automatically. Under these results, language design can be done to describe different demands by application for IoT device framework. It also develops code generator to spawn program automatically operating on configured information or devices from described requests, and confirms effectiveness for language and generator through applied software developments.