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.