ZT-IoT

https://zt-iot.nii.ac.jp/

[Japanese]

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

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
Research Assistant, Information Systems Architecture Sciences Research Division,
National Institute of Informatics

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, Graduate School of Information Security,
Institute of Information Security
Kuniyasu Suzaki
Professor, Graduate School of Information Security,
Institute of Information Security
Rika Wakatsuki
Project Research Assistant, Graduate School of Information Security,
Institute of Information Security
Ono Yasushi
Project Research Assistant, Graduate School of Information Security,
Institute of Information Security

Publications