Formalization of the Advanced Encryption Standard. I
type: Item
instance of: scholarly article
title: Formalization of the Advanced Encryption Standard. I
zbMATH Open document ID: 1298.94077
author: Kenichi Arai
author: Hiroyuki Okazaki
published in: Formalized Mathematics
publication date: 2014-11-05T00:00:00Z
Mathematics Subject Classification ID: 94A60
Mathematics Subject Classification ID: 68P25
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6365901
zbMATH Keywords: Mizar formalization
zbMATH Keywords: Advanced Encryption Standard (AES) algorithm
zbMATH Keywords: cryptology
Wikidata QID: Q120866112
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: forma-2013-0019
OpenAlex ID: W2055307577
cites work: Semantics of MML query -- ordering
cites work: Formalization of the data encryption standard
cites work: Q5203581
DOI: 10.2478/FORMA-2013-0019
description: scientific article; zbMATH DE number 6365901