Rei Ueno, Yukihiro Sugawara, Naofumi Homma, Takafumi Aoki. Formal Design of Pipelined GF Arithmetic Circuits and Its Application to Cryptographic Processors. In 46th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2016, Sapporo, Japan, May 18-20, 2016. pages 217-222, IEEE Computer Society, 2016. [doi]
Abstract is missing.