Formalization of the Advanced Encryption Standard. Part I.

Kenichi Arai Hiroyuki Okazaki

Published in: Formaliz. Math. (2013)

Keyphrases

advanced encryption standard
encryption algorithms
data encryption standard
s box
fault model
digital libraries
cryptographic algorithms