Toward Formal Design of Practical Cryptographic Hardware Based on Galois Field Arithmetic

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]

Abstract

Abstract is missing.