Naofumi Homma, Kazuya Saito, Takafumi Aoki. Toward Formal Design of Practical Cryptographic Hardware Based on Galois Field Arithmetic. IEEE Transactions on Computers, 63(10):2604-2613, 2014. [doi]
@article{HommaSA14, title = {Toward Formal Design of Practical Cryptographic Hardware Based on Galois Field Arithmetic}, author = {Naofumi Homma and Kazuya Saito and Takafumi Aoki}, year = {2014}, doi = {10.1109/TC.2013.131}, url = {http://doi.ieeecomputersociety.org/10.1109/TC.2013.131}, researchr = {https://researchr.org/publication/HommaSA14}, cites = {0}, citedby = {0}, journal = {IEEE Transactions on Computers}, volume = {63}, number = {10}, pages = {2604-2613}, }