Cryptanalysis of the data encryption standard by the method of formal coding

Authors:
Ingrid Schaumüller-Bichl
Affiliations:
VOEST - ALPINE, Linz, Austria
Venue:
Proceedings of the 1982 conference on Cryptography
Year:
1982

Citing 0
Cited 4

Differential Cryptanalysis of DES-like Cryptosystems

CRYPTO '90 Proceedings of the 10th Annual International Cryptology Conference on Advances in Cryptology
Practical Algebraic Attacks on the Hitag2 Stream Cipher

ISC '09 Proceedings of the 12th International Conference on Information Security
Upper bounds on algebraic immunity of boolean power functions

FSE'06 Proceedings of the 13th international conference on Fast Software Encryption
A brief survey of research jointly with jean-jacques quisquater

Cryptography and Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

The "Method of Formal Coding" consists in representing each bit of a DES ciphertext block as an XOR-sum-of-products of the plaintext bits and the key bits. Subsequent introduction of the "MFC-complexity measure" yields interesting results on the security of the DES and the influecce of various parameters.