Mathematics of Security Analysis for Modern Cryptography
| Reference No. | 2023a003 |
|---|---|
| Type/Category | Grant for General Research-Workshop（Ⅰ） |
| Title of Research Project | Mathematics of Security Analysis for Modern Cryptography |
| Principal Investigator | Noboru Kunihiro（University of Tsukuba・Professor） |
| Research Period |
September 20,2023. ～
September 22,2023. |
| Keyword(s) of Research Fields | Cryptography, Security Analysis |
| Abstract for Research Report |
Due to the advancements in IT technology, there is a high expectation for the development of cryptographic technology. However, to ensure the safe and long-term use of cryptography, it is essential to conduct precise security evaluations based on a solid mathematical foundation, rather than relying on ad-hoc security analyses. Mathematical aspects are crucial in cryptographic security evaluations and arise in various situations. The proposed research plan aims to address the following topics: Recently, the threat of quantum computers has become a reality, making it necessary to evaluate the rigorous security of current cryptography against quantum computers. Furthermore, research on post-quantum cryptography, which utilizes mathematical problems such as lattice problems, multivariate equations, decoding problems, and isogeny problems, has also progressed. It is crucial to evaluate the difficulty of these problems. Security against real-world threats, such as side-channel attacks, must also be guaranteed. There is a proposed attack that recovers the secret key by combining the algebraic properties of the secret key and the statistics, which has a significant mathematical aspect. Current cryptographic technology is realized by combining both public key cryptography and symmetric key cryptography. The security evaluation of symmetric-key cryptography is always important since it can be used when the sender and receiver share a common key. Mathematical tools, such as mixed-integer linear programming, are utilized in the security evaluation of symmetric-key cryptography. The primary purpose of the proposed meeting is to share various mathematical approaches to security analysis, with a focus on cryptographic security analysis. To achieve this goal, we plan to gather researchers from industry and academia from Japan and overseas to give invited lectures on recent results of cryptographic security analysis. As a product, we plan to publish conference proceedings containing short summaries and slides of all lectures. |
| Organizing Committee Members (Workshop) Participants (Short-term Joint Usage) |
Yasuhiko Ikematsu（Kyushu University・Assistant Professor） Tetsuya Izu（Fujitsu・Senior Director） Hiroaki Anada（Aomori University・Professor） Koji Nuida（Kyushu University・Professor） |