SaTC: CORE: Small: Expanding the Frontiers of Isogeny-Based Cryptography

SaTC：核心：小型：扩展基于同源密码学的前沿

• 批准号: 2101085
• 负责人: Reza Azarderakhsh
• 金额: $ 41.29万
• 依托单位: Florida Atlantic University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2021
• 资助国家: 美国
• 起止时间: 2021-07-15 至 2025-06-30
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2101085&HistoricalAwards=false
• 关键词: SaTC; CORE; Small; Expanding; Frontiers

According to our current understanding of the laws of quantum mechanics, computers based on quantum phenomena offer the possibility of solving certain problems much quicker than any classical computer. Included among these problems are the majority of mathematical problems that form a basis for almost all currently deployed public-key cryptosystems. Current public-key cryptographic technologies are all known to be highly vulnerable to attacks by large-scale quantum computers. Although such quantum computers have not yet been built, substantial progress has been made in recent years. It is widely accepted that it is prudent to plan ahead for future needs, as adoption of new cryptosystem deployment takes several years to align networks, industry, and the general public. This project aims to develop frontiers of quantum-safe cryptography systems to address the need of forward secrecy in the quantum age. The project’s novelties include design, and development of protocols and algorithms based on elliptic curve and isogenies (maps) between them. The project’s impact is on the standardization of such cryptosystems in first place as well as directions and insights on the implementations and deployments afterwards. This project focuses mainly on efficient development of isogeny-based cryptography system as it is one of the candidates for National Institute of Standards and Technologies (NIST) post-quantum cryptography standardization process offering smallest public key sizes in comparison to the counterparts. This and other unique characteristic of isogeny-based cryptography make it suitable for certain applications such as embedded devices. The investigator will focus on efficient development and implementations of supersingular isogeny-based key encapsulation (SIKE), isogeny-based signatures, group key exchange mechanisms, and their integration into real-world applications. This research provides impact and influence on the design and security analysis of the next generation post-quantum cryptosystems which is the main focus on cryptography community these days. The investigator’s ultimate objective is to establish isogeny-based cryptography as a mainstream option for post-quantum cryptography and get standardized through NIST and other standardization organizations.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

根据我们目前对量子力学定律的理解，基于量子现象的计算机提供了比任何经典计算机更快地解决某些问题的可能性。在这些问题中，大多数数学问题构成了几乎所有目前部署的公钥密码系统的基础。目前的公钥密码技术都被认为是非常容易受到大规模量子计算机的攻击。虽然这种量子计算机尚未建成，但近年来已经取得了实质性进展。人们普遍认为，为未来的需求提前计划是明智的，因为采用新的加密系统部署需要几年时间来调整网络，行业和公众。该项目旨在开发量子安全密码系统的前沿，以满足量子时代对前向保密的需求。该项目的新颖性包括设计和开发基于椭圆曲线和它们之间的同构（映射）的协议和算法。该项目的影响首先是对此类密码系统的标准化，以及对之后的实现和部署的指导和见解。 该项目主要关注基于同源性的密码系统的高效开发，因为它是美国国家标准与技术研究院（NIST）后量子密码标准化过程的候选系统之一，与同行相比提供最小的公钥大小。基于同源性的密码学的这一特性和其他独特的特性使其适合于某些应用，如嵌入式设备。研究人员将专注于有效的开发和实现超奇异的基于同源性的密钥封装（SIKE），基于同源性的签名，组密钥交换机制，并将其集成到现实世界的应用程序中。该研究对下一代后量子密码系统的设计和安全性分析具有重要的影响，这是当今密码学界的主要关注点。 该研究者的最终目标是将基于同源性的密码学确立为后量子密码学的主流选择，并通过NIST和其他标准化组织实现标准化。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

Side-Channel Analysis and Countermeasure Design for Implementation of Curve448 on Cortex-M4

Cortex-M4 上 Curve448 实现的侧信道分析和对策设计

• 发表时间: 2022
• 期刊: Hardware and Architectural Support for Security and Privacy (HASP’22
• 作者: BIsheh-Niasar, Mojtaba;Anastasova, Mila;Abdulgadir, Abubakr;Seo, Hwajeong;Azarderakhsh, Reza
• 通讯作者: Azarderakhsh, Reza

Fast Strategies for the Implementation of SIKE Round 3 on ARM Cortex-M4

• DOI: 10.1109/tcsi.2021.3096916
• 发表时间: 2021-10-01
• 期刊: IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS
• 影响因子: 5.1
• 作者: Anastasova, Mila;Azarderakhsh, Reza;Kermani, Mehran Mozaffari
• 通讯作者: Kermani, Mehran Mozaffari

Time-Optimal Design of Finite Field Arithmetic for SIKE on Cortex-M4

Cortex-M4 上 SIKE 有限域算法的时间优化设计

• 发表时间: 2022
• 期刊: International Conference on Information Security Applications WISA22
• 作者: Anastasova, Mila;Azarderakhsh, Reza;Mozaffari Kermani, Mehran
• 通讯作者: Mozaffari Kermani, Mehran