Automatic Test Case Generation for Prime Field Elliptic Curve Cryptographic Circuits

Krishn Kumar Gupt, Meghana Kshirsagar, Joseph P. Sullivan, C. Ryan
{"title":"Automatic Test Case Generation for Prime Field Elliptic Curve Cryptographic Circuits","authors":"Krishn Kumar Gupt, Meghana Kshirsagar, Joseph P. Sullivan, C. Ryan","doi":"10.1109/CSPA52141.2021.9377300","DOIUrl":null,"url":null,"abstract":"Elliptic curve is a major area of research due to its application in elliptic curve cryptography. Due to their small key sizes, they offer the twofold advantage of reduced storage and transmission requirements. This also results in faster execution times. The authors propose an architecture to automatically generate test cases, for verification of elliptic curve operational circuits, based on user-defined prime field and the parameters used in the circuit to be tested. The ECC test case generations are based on the Galois field arithmetic operations which were the subject of previous work by the authors. One of the strengths of elliptic curve mathematics is its simplicity, which involves just three points (P, Q, and R), which pass through a line on the curve. The test cases generate points for a user-defined prime field which sequentially selects the input vector points (P and/or Q), to calculate the resultant output vector (R) easily. The testbench proposed here targets field programmable gate array (FPGAs) platforms and experimental results for ECC test case generation on different prime fields are presented, while ModelSim is used to validate the correctness of the ECC operations.","PeriodicalId":194655,"journal":{"name":"2021 IEEE 17th International Colloquium on Signal Processing & Its Applications (CSPA)","volume":"54 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2021 IEEE 17th International Colloquium on Signal Processing & Its Applications (CSPA)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CSPA52141.2021.9377300","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2

Abstract

Elliptic curve is a major area of research due to its application in elliptic curve cryptography. Due to their small key sizes, they offer the twofold advantage of reduced storage and transmission requirements. This also results in faster execution times. The authors propose an architecture to automatically generate test cases, for verification of elliptic curve operational circuits, based on user-defined prime field and the parameters used in the circuit to be tested. The ECC test case generations are based on the Galois field arithmetic operations which were the subject of previous work by the authors. One of the strengths of elliptic curve mathematics is its simplicity, which involves just three points (P, Q, and R), which pass through a line on the curve. The test cases generate points for a user-defined prime field which sequentially selects the input vector points (P and/or Q), to calculate the resultant output vector (R) easily. The testbench proposed here targets field programmable gate array (FPGAs) platforms and experimental results for ECC test case generation on different prime fields are presented, while ModelSim is used to validate the correctness of the ECC operations.
素域椭圆曲线密码电路的自动测试用例生成
椭圆曲线由于其在椭圆曲线密码学中的应用而成为一个重要的研究领域。由于它们的密钥尺寸小,它们提供了减少存储和传输要求的双重优势。这也会导致更快的执行时间。作者提出了一种基于用户定义的素域和待测电路中使用的参数自动生成测试用例的架构,用于验证椭圆曲线运行电路。ECC测试用例的生成基于伽罗瓦域算术运算,这是作者之前工作的主题。椭圆曲线数学的优势之一是它的简单性,它只涉及三个点(P、Q和R),它们穿过曲线上的一条直线。测试用例为用户定义的素数字段生成点,该字段依次选择输入向量点(P和/或Q),以轻松地计算结果输出向量(R)。本文提出的测试平台以现场可编程门阵列(fpga)平台为目标,给出了在不同素域上生成ECC测试用例的实验结果,并使用ModelSim验证了ECC操作的正确性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信