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

Time-Efficient Finite Field Microarchitecture Design for Curve448 and Ed448 on Cortex-M4

• DOI: 10.1007/978-3-031-29371-9_15
• 发表时间: 2023-01-01
• 期刊: INFORMATION SECURITY AND CRYPTOLOGY - ICISC 2022
• 作者: Anastasova, Mila;Azarderakhsh, Reza;Beshaj, Lubjana
• 通讯作者: Beshaj, Lubjana

Compressed SIKE Round 3 on ARM Cortex-M4

• DOI: 10.1007/978-3-030-90022-9_24
• 发表时间: 2021-01-01
• 期刊: SECURITY AND PRIVACY IN COMMUNICATION NETWORKS, SECURECOMM 2021, PT II
• 作者: Anastasova, Mila;Bisheh-Niasar, Mojtaba;Kermani, Mehran Mozaffari
• 通讯作者: Kermani, Mehran Mozaffari

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