OKullmann/oklibrary — pull request #342 by MGwynne (2012-01-25 20:37:18+00:00)
Title: Des satisfying assignments

Branch: des_satisfying_assignments.

1) Specifying DES random plaintext, key and ciphertext generation function, including splitting these functions up to allow better explanation and testing.

2) Providing a C++ application PassExtends which checks whether a partial assignment extends another.

3) Providing a script for computing a satisfying assignment for DES instances.

4) Computing the satisfying sub-instance in the splitting of 5-round DES at depth 600.

Matthew