[Society 5.0 System Software] Year Started : 2021

Hiroaki Kikuchi

Healthcare Cohort Infrastructure with security and utility guarantees

Research Director
Hiroaki Kikuchi

Professor
Department of Frontier Media Science
Meiji University

Collaborator
Hiromi Arai Unit Leader
Center for Advanced Intelligence Project
RIKEN
Sachiko Kanamori Senior Technical Researcher
Cybersecurity Research Institute
National Institute of Information and Communications Technology
Ryo Nojima Professor
College of Information Science and Engineering
Ritsumeikan university
Yukiko Mori Lecturer
Hospital
Kyoto University
Outline

Anonymization is known as a methodology to allow healthcare bigdata to be ready for provision to data consumers with no risk of infringement of individual’s right and interests. However, it is concerned to disrupt its utility as reliable medical resource by modifying healthcare data too much. To address the issue, we develop a new differential private anonymization with theoretical security guarantee.

Kenjiro Taura

Practical privacy-preserving data analyses and secure data infrastructure

Research Director
Kenjiro Taura

Professor
Graduate School of Information Science and Technology
The University of Tokyo

Collaborator
Yang Cao Associate Professor
School of Computing
Tokyo Institute of Technology
Shouhei Hanaoka Lecturer
The University of Tokyo Hospital
Toshihiro Hanawa Professor
Information Technology Center
The University of Tokyo
Masatoshi Yoshikawa Professor
Faculty of Data Science
Osaka Seikei University
Outline

To address or reduce concerns about data sharing including intrusion, data leakage to external systems by (otherwise legitimate) users, and reidentification of personal information by data analytics (intentional or not), we work together across layers ranging from system software (data infrastructure and operating systems) to privacy-preserving data analyses (differential privacy and federated learning) to real applications (medical and trajectory data), thereby contributing to realizing Society 5.0, a society in which we can safely and widely utilize data.

Atsuko Takefusa

Zero Trust IoT by Formal Verification and System Software

Research Director
Atsuko Takefusa

Professor
National Institute of Informatics
Research Organization of Information and Systems

Collaborator
Atsushi Igarashi Professor
Graduate School of Informatics
Kyoto University
Kuniyasu Suzaki Professor
Graduate School of Information Security
Insititute of Information Security
Taro Sekiyama Associate Professor
National Institute of Informatics
Research Organization of Information and Systems
Toshihiro Matsui Professor (Dean)
Department of Information Design
Tokyo Information Design Professional University
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.

Toshio Hirotsu

Privacy-centric Information Infrastructure

Research Director
Toshio Hirotsu

Professor
Faculty of Computer and Information Sciences
Hosei University

Collaborator
Kenichi Kourai Professor
Faculty of Computer Science and Systems Engineering
Kyushu Institute of Technology
Outline

This project aims to realize “Privacy-centric information infrastructure” that provides network-wide controllability of the information privacy-level to users. Current information infrastructure lacks a mechanism to manage a specific information privacy-level through multiple software components over the network. In this project, we introduce a mechanism called “secure network container” that encapsulate the execution environments connected through the network to process the information in it, and the transfer of the information between the secure network containers are modeled using the type-theory and protected by the secure execution platform.

Hirozumi Yamaguchi

A Platform for Digitalizing Knowledge of Regional Communities

Research Director
Hirozumi Yamaguchi

Professor
Graduate School of Information Science and Technology
Osaka University

Collaborator
Keita Arai Associate Professor
Faculty of Economics
Kindai University
Keishin Inaba Professor
Department of Human Sciences
Osaka University
Kentaro Yano Chief Expert
NEWS Division
YOMIURI TELECASTING CORPORATION
Outline

This research designs and develops TASK/OS5, an S5 infrastructure software for digitalizing regional communities’ knowledge. The software enables securely sharing and utilizing privacy-sensitive personal data and machine learning models among different individual regional communities. In addition, it has a function to facilitate the participation of older people in the system. The effectiveness of the methodology will be demonstrated through disaster response and traffic improvement scenarios in the regional communities.

Quick Access

Program

  • CREST
  • PRESTO
  • ERATO
  • ACT-X
  • ALCA
  • CRONOS
  • AIP Network Lab
  • Global Activities
  • Diversity
  • SDGs
  • OSpolicy
  • Yuugu
  • Questions