OKAMOTO, HOMMA, AOKI, 2014. Formal Design of Arithmetic Circuits over Galois Fields Based on Normal Basis Representations E97.D.. https://doi.org/10.1587/transinf.2013lop0012