Toward Formal Design of Practical Cryptographic Hardware Based on Galois Field Arithmetic | IEEE Journals & Magazine | IEEE Xplore