EEIS 東京大学大学院 工学系研究科 電気系工学専攻

SATO Hiroyuki Associate Professor

Kashiwa Campus

Media, Intelligence & Computation
Software
Information security

Security and Trust Science

Research on authentication infrastructure, research of optimization compiler with verification, We are conducting comprehensive research on security and trust through research on trasts in distributed environments.

Research field 1

Internet Trust Engineering. Creatment of a variety of service environments on the Internet, such as authentication cooperation, IoT environment, and blockchain, its model construction and formal analysis

It is essential to use the concept of a trade to build a authentication base and analyze identity collaboration using it. In addition, a reliable operation of SSI, DID, VC, and VP, which has a stronger distributed, requires analysis using a trust. We have built a framework for formally analyzing the trasts and information security models found in these.
Research field 2

Formal methods for programming languages

We study building frameworks for formal analysis of compiler optimizations for programming languages and processers.
Back to the list