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