System for Automatic Generation of Parallel Multipliers over Galois Fields. - Yukihiro Sugawara; Rei Ueno; Naofumi Homma; Takafumi Aoki (ISMVL, 2015)

Formal Design of Galois-Field Arithmetic Circuits Based on Polynomial Ring Representation. - Rei Ueno; Naofumi Homma; Yukihiro Sugawara; Takafumi Aoki (ISMVL, 2015)

Highly Efficient GF(28) Inversion Circuit Based on Redundant GF Arithmetic and Its Application to AES Design. - Rei Ueno; Naofumi Homma; Yukihiro Sugawara; Yasuyuki Nogami; Takafumi Aoki (IACR Cryptol. ePrint Arch., 2015)

Formal Design of Pipelined GF Arithmetic Circuits and Its Application to Cryptographic Processors. - Rei Ueno; Yukihiro Sugawara; Naofumi Homma; Takafumi Aoki (ISMVL, 2016)

Formal Approach for Verifying Galois Field Arithmetic Circuits of Higher Degrees. - Rei Ueno; Naofumi Homma; Yukihiro Sugawara; Takafumi Aoki (IEEE Trans. Computers, 2017)