In order to support Society 5.0, we realize an operating system that serves as a comprehensive security infrastructure to provide strong security throughout the system.

We facilitate the application of theoretically verified security to practical systems by efficiently reinforcing isolation execution environments enabled by state-of-the-art hardware and system software technologies with the support of security-focused formal methods.

We also ensure consistent security throughout the system by enforcing comprehensive security policies from the edge (end) to the cloud (center) with the support of programming language theory.