Work

The Zero Trust IoT (ZT-IoT) Project

Year: 2026

Type: conference-paper

Abstract: This project aims to realize secure Internet of Things (IoT) systems through the concept of zero trust by the fusion of formal verification and system software technologies. In formal verification research, we provide mathematical proofs of the legitimacy of IoT trust chains and address undiscovered threats. In system software research, we develop mechanisms for isolated execution, automatic detection, and automatic countermeasures in conjunction with the theoretical results to demonstrate zero trust IoT (ZT-IoT).

Source: IEEE Annual International Computer Software and Applications Conference (COMPSAC)

DOI: 10.1109/compsac69091.2026.00223

Authors: Atsuko Takefusa, Atsushi Igarashi, Taro Sekiyama, Kuniyasu Suzaki, Toshihiro Matsui, Jie Yin, Atsuya Osaki, Naoki Yamashita, Nobuo Aoki, Sewon Park, Terunobu Inaba, Lelio Brun, Yutaka Ishikawa, Kento Aida, Yasushi Ono, Kensuke Fukuda, Eisaku Sakane, Ichiro Hasuo

Institutions: National Institute of Informatics, Kyoto University, Institute of Information Security, Tokyo Information Design Professional University, The Graduate University for Advanced Studies, SOKENDAI, Otsuma Women's University

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: hybrid

OpenAlex ID: W7203838375

FWCI:

Cites: 13

Cited by:

Related to: 10