{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T12:40:07Z","timestamp":1746362407021,"version":"3.40.4"},"reference-count":16,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"9","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. &amp; Syst."],"published-print":{"date-parts":[[2014]]},"DOI":"10.1587\/transinf.2013lop0012","type":"journal-article","created":{"date-parts":[[2014,8,31]],"date-time":"2014-08-31T23:32:28Z","timestamp":1409527948000},"page":"2270-2277","source":"Crossref","is-referenced-by-count":2,"title":["Formal Design of Arithmetic Circuits over Galois Fields Based on Normal Basis Representations"],"prefix":"10.1587","volume":"E97.D","author":[{"given":"Kotaro","family":"OKAMOTO","sequence":"first","affiliation":[{"name":"Graduate School of Information Sciences, Tohoku University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naofumi","family":"HOMMA","sequence":"additional","affiliation":[{"name":"Graduate School of Information Sciences, Tohoku University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takafumi","family":"AOKI","sequence":"additional","affiliation":[{"name":"Graduate School of Information Sciences, Tohoku University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] K. Okamoto, N. Homma, and T. Aoki, \u201cA graph-based approach to designing parallel multipliers over Galois fields based on normal basis representations,\u201d Proc. 43rd IEEE Int. Symp. Multiple-Valued Logic, pp.158-163, May 2013.","DOI":"10.1109\/ISMVL.2013.5"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] E. Savas and K.C. Koc, \u201cFinite field arithmetic for cryptography,\u201d IEEE Circuits Syst. Mag., vol.10, no.2, pp.40-56, Aug. 2010.","DOI":"10.1109\/MCAS.2010.936785"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] R. Bryant, \u201cGraph-based algorithms for boolean function manipulation,\u201d IEEE Trans. Comput., vol.C-35, no.8, pp.677-691, Aug. 1986.","DOI":"10.1109\/TC.1986.1676819"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] E.R. Bryant and Y.A. Chen, \u201cVerification of arithmetic circuits with binary moment diagrams,\u201d Proc. 32nd Design Automation Conf., pp.535-541, 1995.","DOI":"10.1145\/217474.217583"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] R. Drechsler, ed., Advanced Formal Verification, Kluwer Academic Publishers, 2004.","DOI":"10.1007\/b105236"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] R. Stankovic and R. Drechsler, \u201cCircuit design from Kronecker Galois field decision diagrams for multiple-valued functions,\u201d Proc. 27th IEEE Int. Symp. Multiple-Valued Logic, pp.275-280, 1997.","DOI":"10.1109\/ISMVL.1997.601413"},{"key":"7","unstructured":"[7] S. Morioka, Y. Katayama, and T. Yamane, \u201cTowards efficient verification of arithmetic algorithms over Galois fields <i>GF<\/i>(2<i><sup>m<\/sup><\/i>),\u201d Proc. 13th Conf. on Computer Aided Verification, LNCS, vol.2102, pp.465-477, 2001."},{"key":"8","unstructured":"[8] D. Mukhopadhyay, G. Sengar, and R.D. Chowdhury, \u201cHierarchical verification of Galois field circuits,\u201d IEEE Trans. Comput.-Aided Integr. Circuits Syst., vol.26, no.10, pp.1893-1898, 2007."},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] N. Homma, K. Saito, and T. Aoki, \u201cA formal approach to designing cryptographic processors based on <i>GF<\/i>(2<i><sup>m<\/sup><\/i>) arithmetic circuits,\u201d IEEE Trans. Information Forensics and Security, vol.7, no.1, pp.3-13, Feb. 2012.","DOI":"10.1109\/TIFS.2011.2157687"},{"key":"10","unstructured":"[10] N. Homma, K. Saito, and T. Aoki, \u201cToward formal design of practical cryptographic hardware based on Galois field arithmetic,\u201d IEEE Trans. Comput., DOI: http:\/\/doi.ieeecomputersociety.org\/10.1109\/TC.2013.131, 2013."},{"key":"11","unstructured":"[11] D.A. Cox, J.B. Little, and D. O&apos;Shea, Ideals, Varieties, and Algorithms, 2nd ed., Springer-Verlag, NY, 1996."},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] R.C. Mullin, I.M. Onyszchuk, S.A. Vanstone, and R.M. Wilson, \u201cOptimal normal bases in <i>GF<\/i>(<i>p<sup>n<\/sup><\/i>),\u201d Discrete Applied Mathematics, vol.22, no.2, pp.149-161, 1989.","DOI":"10.1016\/0166-218X(88)90090-X"},{"key":"13","unstructured":"[13] S. Gao, Normal bases over finite fields, Citeseer, 1993."},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] A. Reyhani-Masoleh and M. Hasan, \u201cA new construction of Massey-Omura parallel multiplier over <i>GF<\/i>(2<i><sup>m<\/sup><\/i>),\u201d IEEE Trans. Comput., vol.51, no.5, pp.511-520, May 2001.","DOI":"10.1109\/TC.2002.1004590"},{"key":"15","unstructured":"[15] J. Massey and J. Omura, \u201cComputational method and apparatus for finite field arithmetic,\u201d 1986. US Patent."},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] D. Canright, \u201cA very compact S-box for AES,\u201d CHES 2005, pp.441-455, May 2005.","DOI":"10.1007\/11545262_32"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E97.D\/9\/E97.D_2013LOP0012\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T12:13:14Z","timestamp":1746360794000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E97.D\/9\/E97.D_2013LOP0012\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"references-count":16,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2014]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2013lop0012","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"type":"print","value":"0916-8532"},{"type":"electronic","value":"1745-1361"}],"subject":[],"published":{"date-parts":[[2014]]}}}