Formalization of the Advanced Encryption Standard. I

DOI10.2478/FORMA-2013-0019zbMath1298.94077OpenAlexW2055307577WikidataQ120866112 ScholiaQ120866112MaRDI QIDQ467789

Kenichi Arai, Hiroyuki Okazaki

Publication date: 5 November 2014

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2013-0019

zbMATH Keywords

cryptologyAdvanced Encryption Standard (AES) algorithmMizar formalization

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Mechanization of proofs and logical operations (03B35)

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Formalization of the Data Encryption Standard
• Semantics of MML Query - Ordering

This page was built for publication: Formalization of the Advanced Encryption Standard. I