[Research Activities] Creation of System Software for Society 5.0 by Integrating Fundamental Theories and System Platform Technologies

Website of each CREST project

Year Started : 2023
Title:Formal Methods and Verification Tools for Next-generation Automotive System Platforms
Research Director:Toshiaki Aoki

Title:Development of Design Fundamentals for Trustworthy IoT Systems
Research Director:Yuko Hara

Title:Evolutionary Real-Time AI Platform for Micro-Edge Devices
Research Director:Yasuko Matsubara

Title:Security Assessment and Countermeasure Framework for AI-Driven Cyber-Physical Systems
Research Director:Tatsuya Mori

Year Started : 2022
Title:Sustainable Decentralized Secure Computation Infrastructure
Research Director:Nuttapong Attrapadung

Title:A Verifiable Data Ecosystem
Research Toshiyuki Amagasa

Title:A comprehensive security infrastructure system with isolated execution and formal verification
Research Director:Takahiro Shinagawa

Title:Trusted Inter-Reality Infrastructure for Creating and Connecting Diverse Realities with Safety and Security
Research Director:Takuro Yonezawa

Year Started : 2021
Title:Healthcare Cohort Infrastructure with security and utility guarantees
Research Director:Hiroaki Kikuchi

Title:Practical privacy-preserving data analyses and secure data infrastructure
Research Director:Kenjiro Taura

Title:Zero Trust IoT by Formal Verification and System Software
Research Director:Atsuko Takefusa

Title:Privacy-centric Information Infrastructure
Research Director:Toshio Hirotsu

Title:A Platform for Digitalizing Knowledge of Regional Communities
Research Director:Hirozumi Yamaguchi

Quick Access


  • ACT-X
  • ALCA
  • AIP Network Lab
  • Global Activities
  • Diversity
  • SDGs
  • OSpolicy
  • Yuugu
  • Questions