Formalization of the Advanced Encryption Standard. I
Advanced Encryption Standard (AES) algorithm
scientific article; zbMATH DE number 6365901