Research GroupsGROUP

The project TRACE for IoT is organized into three research groups. Each team takes a different approach to developing design fundamentals for trustworthy IoT systems.

Development of Efficient Implementation Methods for Trustworthy IoT Systems

Topics
  • Design Environment and Efficient Implementation of IC Design Technology Protection Protocols
  • Design Environment and Efficient Implementation of IC Authenticity Verification Protocols
  • Circuit Design Methods Quantifying Trade-offs between Security Levels and Implementation Costs
Members
  • Yuko Hara
    School of Engineering, Science Tokyo・Associate Professor
  • Mingyu Yang
    School of Engineering, Science Tokyo・Postdoc Researcher
  • Qingyu Zeng
    School of Engineering, Science Tokyo・Ph.D. Student
  • Songxuan Liu
    School of Engineering, Science Tokyo・Ph.D. Student
  • Tomosuke Ichioka
    School of Engineering, Science Tokyo・Master's Student
  • Sota Kado
    School of Engineering, Science Tokyo・Master's Student
  • Kazuki Kido
    School of Engineering, Science Tokyo・Undergraduate Student
  • Ayane Morishita
    School of Engineering, Science Tokyo・Undergraduate Student

Development of Cryptographic Primitives for Trustworthy IoT Systems

Topics
  • Formalization and Construction of IC Design Technology Protection Protocols
  • Formalization and Construction of IC Authenticity Verification Protocols
  • Optimization of Proposed Protocols
Members
  • Mitsugu Iwamoto
    Graduate School of Informatics and Engineering, the University of Electro-Communications・Professor
  • Yohei Watanabe
    Graduate School of Informatics and Engineering, the University of Electro-Communications・Associate Professor
  • Kyoichi Asano
    Graduate School of Informatics and Engineering, the University of Electro-Communications・Ph.D. Studuent
  • Yuki Sawai
    Graduate School of Informatics and Engineering, the University of Electro-Communications・Ph.D. Studuent
  • Kyosuke Hatsugai
    Graduate School of Informatics and Engineering, the University of Electro-Communications・Ph.D. Studuent
  • Tomoki Ono
    Graduate School of Informatics and Engineering, the University of Electro-Communications・Ph.D. Studuent
  • Kota Sugimoto
    Graduate School of Informatics and Engineering, the University of Electro-Communications・Ph.D. Studuent
  • Yugo Kasashima
    Graduate School of Informatics and Engineering, the University of Electro-Communications・Master's Studuent

Development of Modeling and Evaluation Methods for Trustworthy IoT Systems

Topics
  • Appropriate Modeling of Security Notions for IC Design Technology Protection Protocols
  • Formulation of Reasonable Physical Assumptions for IC Authenticity Verification Protocols
  • Design of Integrated Simulation Environments
Members
  • Kazuo Sakiyama
    Graduate School of Informatics and Engineering, the University of Electro-Communications・Professor
  • 李 陽
    Graduate School of Informatics and Engineering, the University of Electro-Communications・Associate Professor
  • Kazuma Ohara
    CPSEC, AIST・Senior Researcher
  • Haruka Hirata
    Graduate School of Informatics and Engineering, the University of Electro-Communications・Ph.D. Studuent
  • Yusaku Harada
    Graduate School of Informatics and Engineering, the University of Electro-Communications・Master's Studuent
  • Kaiyuan Li
    Graduate School of Informatics and Engineering, the University of Electro-Communications・Master's Studuent
  • Yuto Takino
    Graduate School of Informatics and Engineering, the University of Electro-Communications・Undergraduate Studuent