2021 Fiscal Year Research-status Report
New Paradigm to Construct Public Key Cryptographic Schemes for Lightweight Devices with Provable Security against Quantum Attackers
Project/Area Number |
18K11292
|
Research Institution | The University of Electro-Communications |
Principal Investigator |
SANTOSO BAGUS 電気通信大学, 大学院情報理工学研究科, 准教授 (40571956)
|
Co-Investigator(Kenkyū-buntansha) |
太田 和夫 電気通信大学, 大学院情報理工学研究科, 特命教授 (80333491)
|
Project Period (FY) |
2018-04-01 – 2023-03-31
|
Keywords | encryption / multivariate polynomials / aggregate signatures |
Outline of Annual Research Achievements |
In FY 2021, we have formulated a framework for performing cryptanalysis on El-Gamal like encryption schemes based on Multivariate Quadratic Polynomials (MQ). We apply our cryptanalysis framework into the new El-Gamal like encryption scheme we published in PQCrypto 2020.We also plan to apply the framework to other El-Gamal like post-quantum encryption schemes. We also have successfully constructed a new post-quantum identification scheme and signature scheme based on MinRank problem. In other line of research, we also propose a framework for evaluating the distributed source encryption in the case of correlated secret keys. Based on the proposed framework, we successfully derive a strong converse for achieving security for distributed source encryption even in the case of correlated secret keys. Finally, as a preparation for constructing post-quantum multi-signatures and aggregate signatures, we construct a framework to construct a secure aggregate signatures with pre-computation based on simple algebraic operations. Our framework offers a new scheme with an offline/online feature which is very useful for implementation in lightweight devices which low resources. In the heart of our security proof of the proposed scheme is the new pre-computation technique to avoid the open signing querssy attack which had rendered lots of multi signatures and aggregate signatures insecure.
|
Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
Our framework for performing cryptanalysis on El-Gamal like encryption schemes based on Multivariate Quadratic Polynomials (MQ) has been published in a peer-reviewed international conference, Inscrypt 2021. Meanwhile our proposed framework for evaluating the distributed source encryption in the case of correlated secret keys has also been accepted in a peer-reviewed international conference, IEEE Information Theory Workshop (ITW) 2021. Our new post-quantum identification scheme and signature scheme based on MinRank problem have been presented in domestic conferences, i.e., CSS 2021 and SCIS 2022. Finally, our framework to construct a secure aggregate signatures with pre-computation based on simple algebraic operations has been accepted in a peer-reviewed journal, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences.
|
Strategy for Future Research Activity |
We plan to construct the security proof for our newly constructed post-quantum identification scheme and signature scheme which are based on MinRank problem, against the adversaries who use the quantum computers. We also investigate whether we can reduce the communication cost of the identification scheme and the size of the signature in the signature scheme using the helper technique. Furthermore, we plan to derive a post-quantum two-round multi-signature scheme based on the lattice problems using the HBMS technique proposed by Bellare and Dai.
|
Causes of Carryover |
Due to the Covid-19 pandemic, most of conferences can be participated on by online. Thus, there is some leftover from the budget which was planned to use for the travel expenses. We will plan to buy the supporting equipment for computers which will be required for the simulation and/or the experiment at the final stage of our research project in FY 2022.
|