@inproceedings{56a8e6f3e1d6438ca83e7a7a9d832565,
title = "Testing of large number multiplication functions in cryptographic systems",
abstract = "Integer multiplication is one of the fundamental functions in cryptographic systems. Although much research has already been done on the testing of multiplication functions, most does not meet the need of cryptographic systems, where very large numbers are involved. Others provide only probabilistic algorithms. In this paper we propose an efficient deterministic algorithm for verifying large number multiplications in cryptographic systems. A deterministic oracle for large integer multiplication functions will result. In addition, our method can also be used to verify selected segments of digits in the product of two numbers.",
keywords = "Cryptographic systems, large number multiplication, software testing",
author = "Tse, \{T. H.\} and Chen, \{T. Y.\} and Zhiquan Zhou",
note = "Publisher Copyright: {\textcopyright} 2000 IEEE.; 1st Asia-Pacific Conference on Quality Software, APAQS 2000 ; Conference date: 30-10-2000 Through 31-10-2000",
year = "2000",
doi = "10.1109/APAQ.2000.883782",
language = "English",
series = "Proceedings - 1st Asia-Pacific Conference on Quality Software, APAQS 2000",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "89--98",
editor = "T.H. Tse and T.Y. Chen",
booktitle = "Proceedings - 1st Asia-Pacific Conference on Quality Software, APAQS 2000",
address = "United States",
}