Formalization of the Data Encryption Standard

DOI10.2478/v10037-012-0016-yzbMath1288.94079OpenAlexW2062624044WikidataQ121271625 ScholiaQ121271625MaRDI QIDQ2852149

Yasunari Shidama, Hiroyuki Okazaki

Publication date: 8 October 2013

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

Full work available at URL: https://doi.org/10.2478/v10037-012-0016-y

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (4)

\(N\)-dimensional binary vector spaces ⋮ Formalization of the Advanced Encryption Standard. I ⋮ Flexary connectives in Mizar ⋮ Difference of function on vector space over \(\mathbb F\)

Cites Work

• Semantics of MML Query - Ordering

This page was built for publication: Formalization of the Data Encryption Standard