Automatic test case generation for vulnerability analysis of galois field arithmetic circuits

Krishn Kumar Gupt, Meghana Kshirsagar, Joseph P. Sullivan, Conor Ryan

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The research work proposes a framework for checking the correctness of Galois field arithmetic operations in digital circuits. The authors propose to automatically generate the test cases from the user input, avoiding reliance upon predesigned test cases, comprising Galois field-width and respective choice of irreducible polynomial. We do this through the use of polynomial arithmetic to verify the circuits. To the best of author's knowledge, though extensive work has been carried out in optimising the performance of arithmetic operations in Galois field, there exist no testbench to evaluate the efficacy of hardware circuits incorporating this concept. By automating the process of generating test cases, the work can be scaled to test circuits of arbitrarily large field widths, thus providing a flexible architecture that guarantees correctness of the underlying design under test. We present simulation results for Galois field polynomials of width GF(22)), GF(24) and GF(28). This work can be applied to test and prevent intentional tampering of data bit stream and safeguarding it against malicious activities, especially in applications such as cryptography that heavily relies on Galois field arithmetic.

Original languageEnglish
Title of host publication2021 IEEE 5th International Conference on Cryptography, Security and Privacy, CSP 2021
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages32-37
Number of pages6
ISBN (Electronic)9781728186214
DOIs
Publication statusPublished - 8 Jan 2021
Event5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021 - Virtual, Zhuhai, China
Duration: 8 Jan 202110 Jan 2021

Publication series

Name2021 IEEE 5th International Conference on Cryptography, Security and Privacy, CSP 2021

Conference

Conference5th IEEE International Conference on Cryptography, Security and Privacy, CSP 2021
Country/TerritoryChina
CityVirtual, Zhuhai
Period8/01/2110/01/21

Keywords

  • Cryptography
  • Galois field
  • ModelSim
  • Test bench

Fingerprint

Dive into the research topics of 'Automatic test case generation for vulnerability analysis of galois field arithmetic circuits'. Together they form a unique fingerprint.

Cite this