Displaying similar documents to “On some analogues of descent numbers and major index for the hyperoctahedral group.”

Formalization of the Data Encryption Standard

Hiroyuki Okazaki, Yasunari Shidama (2012)

Formalized Mathematics

Similarity:

In this article we formalize DES (the Data Encryption Standard), that was the most widely used symmetric cryptosystem in the world. DES is a block cipher which was selected by the National Bureau of Standards as an official Federal Information Processing Standard for the United States in 1976 [15].

Restricted 123-involutions.

Guibert, O., Mansour, Toufik (2002)

Séminaire Lotharingien de Combinatoire [electronic only]

Similarity: