In our time, the supply chain of devices and systems includes a variety of businesses and many phases, and is globalized. Meanwhile, along with the rapid popularization of IoT, which is expected to provide new services, tampering of products themselves by inserting malicious logic into ICs used in IoT devices, has become threats causing malicious function such as information leakage and denial of service.The security assurance scheme research team aims to quickly and reliably install new security technology in products and systems by improving the technical foundation of security assurance, leading to evaluation certification and international standardization, in cooperation with relevant organizations. Specifically, we aggregate attack types by comprehensively analyzing and evaluating vulnerabilities from the viewpoint of an attacker who exploits a variety of logical / physical interfaces of software / hardware in an advanced manner. In addition, we will consider technical and procedural issues concerning methods of deriving the security requirements that the manufacturer should satisfy and vulnerability assessment methods to be carried out by the evaluation agency. Through these approaches, we are working on research and development of security assurance schemes suitable for various IoT fields involving multiple layers from chip vendors to application suppliers.
We are studying software technologies for the future IoT environments where billions of devices are connected and controlled for mega-scale optimization. We have specific interests in how we test the IoT systems that work both in the cyber world and in the real world and how we fix their defects as soon as they are discovered. It is predicted that in 2030 there will be a trillion IoT devices running in the world. As it is impossible for humans to maintain systems in such magnitude, we have to automate a large part of the tasks of fault localization, debugging, synthesis and update of the program, possibly through cloud. In this regard, we are engaged in basic research for automated programming. Since many infrastructures are going to depend on IoT in the future, its security becomes extremely important. We are working on the methods for improving reliability of large and complex distributed systems and for detecting/fixing vulnerabilities of the systems.
With the advance of complex information systems, such as large-scale clouds, protecting security and privacy using existing cryptographic techniques becomes increasingly difficult. To address this, we are developing new efficient cryptographic schemes with advanced functionalities, including functional encryption, fully homomorphic encryption, zero-knowledge proofs, and secure computation. These schemes enable fine-grained access control and computation over encrypted data. Furthermore, cryptographic systems deployed in practice require a high level of security to ensure that they cannot be broken via powerful distributed attacks or immediate advances in cryptanalytic techniques. We are working on the security evaluation of several deployed and widely used cryptographic systems, with the aim of either providing mathematical proofs of the security of these, or identifying potential weaknesses which might lead to attacks.
Our team conducts hardware security research that contributes to enhancing security and its evaluation from the viewpoints of hardware and physical properties. Our research activities extend to reflecting the research results in security guidelines and standards as well as security evaluation and certification schemes.
Our team aims at conducting novel cryptographic researches and applying our results to various platforms or systems for protecting privacy and security. Our research interests consist of diverse areas of cryptography and information security such as attribute-based and functional encryption, secure multi-party computation, security analyses of lattice-based cryptosystems, differential privacy, trusted computing, and many more. Based on these tools, we focus on practical applications including access control, privacy-preserving data analyses, and applied security in trusted execution environments, together with efficient implementations thereof. Our main vision is to bridge the gap between theoretic research in cryptography and practical security in real-world platforms.
The Internet of things (IoT) attempts to connect physical objects all around users, which will enhance the users’ convenience and brings us the quality of the society. Along with the transformation of our societies, the safety/security threat to users and the surroundings has occurred in many places. In order to realize a secure society with the advent of the coming IoT society, a comprehensive rather than ad-hoc, from the entrance stage of manufacturing, commitment to security measures (security by design; SBD) is required. For example, in order to design the function of the required security and safety while maintaining the integrity of the entire system, while reducing the labor of manual analysis, IPS（Infrastructure Protection Security）Research Team is developing the software tools to continually update the system requirements. It is said the physical devices in our surroundings become a few hundred billion within five-ten years, it then must avoid falling into malfunction or loss of functionality due to natural or man-made electromagnetic noise. In the IPS team, we are also developing technologies to support the normal operation of the microcomputers and software.