Zero Trust IoT by Formal Verification and System Software
CREST Research Area: [Society 5.0 System Software] Creation of System Software for Society 5.0 by Integrating Fundamental Theories and System Platform Technologies
Topics
- 2023/11/11 The ZT-IoT project is presented at the SC23 Exhition Booth #256 in Dallas. Link
- 2022/11/01 The ZT-IoT project is presented at the SC22 Exhition Booth #4205 in Dallas. PDF
Research Outline
This project aims to realize secure Internet of Things (IoT) systems in accordance with the concept of zero trust by the fusion of formal verification and system software technologies. In the formal verification research, we provide mathematical proofs for the legitimacy of IoT trust chains and address unknown threats combining static and dynamic verification. In the system software research, we develop mechanisms for isolated execution, automatic detection, and automatic countermeasure in conjunction with the theoretical results in order to demonstrate zero trust IoT. We also promote social acceptance of IoT by ensuring the accountability.
Members
Takefusa Gr.
Research Director Atsuko Takefusa Professor, Information Systems Architecture Sciences Research Division, National Institute of Informatics |
Yutaka Ishikawa Professor, Information Systems Architecture Sciences Research Division, National Institute of Informatics |
Kento Aida Professor, Information Systems Architecture Sciences Research Division, National Institute of Informatics |
Sayako Shimizu Assistant Professor, Information Systems Architecture Sciences Research Division, National Institute of Informatics |
Naoya Kitagawa Project Associate Professor, Research and Development Center for Academic Networks, National Institute of Informatics |
Kumiko Kobayashi Project Researcher, Center for Cloud Research and Development, National Institute of Informatics |
Eisaku Sakane Associate Professor, Information Systems Architecture Sciences Research Division, National Institute of Informatics |
Takeshi Nishimura Project Researcher, Cyber Science Infrastructure Development Department, National Institute of Informatics |
Jie YIN Project Researcher, Information Systems Architecture Sciences Research Division, National Institute of Informatics |
Nobuo Aoki Doctoral Student, Department of Informatics, School of Multidisciplinary Sciences, The Graduate University For Advanced Studies (SOKENDAI) |
Igarashi Gr.
Collaborator Atsushi Igarashi Professor, Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University |
Kohei Suenaga Assoc. Professor, Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University |
Masaki Waga Assistant Professor, Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University |
Terunobu Inaba Master's Student, Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University |
Shi Zhen Master's Student, Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University |
Yuhi Sakaguchi Master's Student, Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University |
Sekiyama Gr.
Collaborator Taro Sekiyama Assistant Professor, Information Systems Architecture Sciences Research Division, National Institute of Informatics |
Fuyuki Ishikawa Associate Professor, Information Systems Architecture Sciences Research Division, National Institute of Informatics |
Shin-ya Katsumata Project Associate Professor, Information Systems Architecture Sciences Research Division, National Institute of Informatics |
Ichiro Hasuo Associate Professor, Information Systems Architecture Sciences Research Division, National Institute of Informatics |
Kensuke Fukuda Associate Professor, Information Systems Architecture Sciences Research Division, National Institute of Informatics |
Nakabayashi Misato Doctoral Student, Department of Informatics, School of Multidisciplinary Sciences, The Graduate University For Advanced Studies (SOKENDAI) |
Ryusei Siiba Doctoral Student, Department of Informatics, School of Multidisciplinary Sciences, The Graduate University For Advanced Studies (SOKENDAI) |
Kenji Taguchi(by Mar. 2022) Project Researcher, Information Systems Architecture Sciences Research Division, National Institute of Informatics |
Lelio BRUN Project Researcher, Information Systems Architecture Sciences Research Division, National Institute of Informatics |
Hiroya Fujinami Doctoral Student, Department of Informatics, School of Multidisciplinary Sciences, The Graduate University For Advanced Studies (SOKENDAI) |
Matsui Gr.
Collaborator Toshihiro Matsui Professor, Information Design Division, Tokyo Information Design Professional University |
Ono Yasushi Project Research Assistant, Information Design Division, Institute of Information Security |
Rika Wakatsuki Project Research Assistant, Information Design Division, Institute of Information Security |
Suzaki Gr.
Collaborator Kuniyasu Suzaki Professor, Graduate School of Information Security, Institute of Information Security |
Ono Yasushi Project Research Assistant, Graduate School of Information Security, Institute of Information Security |
Rika Wakatsuki Project Research Assistant, Graduate School of Information Security, Institute of Information Security |
Publications
-
[Exhibition] Zero Trust based IoT Security, SC23 Exhibition Booth #256, Nov. 2023. Link
-
[Paper] Automated Security Analysis for Real-World IoT Devices.
Lélio Brun, Ichiro Hasuo, Yasushi Ono and Taro Sekiyama.
Proc. HASP ‘23: Hardware and Architectural Support for Security and Privacy, pp 29-37, Oct. 2023. Link -
[Paper] A Linux Audit and MQTT- based Security Monitoring Framework.
Jie Yin, Yutaka Ishikawa, Atsuko Takefusa, Proc. IEEE COMPSAC 2023, pp. 648-657, Jun. 2023. -
[Paper] Temporal Verification with Answer-Effect Modification: Dependent Temporal Type- and-Effect System with Delimited Continuations.
Taro Sekiyama, Unno Hiroshi, Proceedings of the ACM on Programming Languages (POPL), 7, POPL, pp. 2079-2110, Apr. 2023. Link -
[Poster] Certification Mechanism to Assure Software Reliability with Digital Signature.
Sayako Shimizu, Eisaku Sakane, Takeshi Nishimura, Kento Aida, Atsuko Takefusa, International Symposium on Grids & Clouds (ISGC) , Mar. 2023. -
[Talk]Building System Software for Zero Trust IoT (ZT-IoT).
Atsuko Takefusa, Secure Device Forum 2023, Feb. 2023 (Keynote) -
[Talk] (I Can’t Get No) Verification.
Atsushi Igarashi, ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications (SPLASH), Dec. 2022 (Keynote) Link -
[Exhibition] Zero Trust based IoT Security, SC22 Exhibition Booth #4205, Nov. 2022. PDF
-
[Paper] Development of a Secure Data Sharing Mechanism for IoT Application Systems.
Naoya Kitagawa, Atsuko Takefusa and Kento Aida, IEEE International Conference on Cloud Networking (CloudNet), Nov. 2022. Link -
[Paper] Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.
Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga, Lecture Notes in Computer Science (Computer Aided Verification), 13371, pp. 447-468, Aug.2022.Link