gengarrrr

DES weak keys' fixed points' properties and cardinality. Xor property within F function in DES

2

Hi, From "Each weak key w has 2^32 fixed points m where DESw(m)=m", I added the definition of fixed points, proved DESw(m)=m and cardinality of 2^32. ### [Wtext_def] Definition ⊢...