OKullmann/oklibrary — pull request #351 by MGwynne (2012-02-08 11:00:52+00:00)
Title: Des satisfying assignments

Branch: des_satisfying_assignments.

Changes relating to finding the satisfiable sub-instance in SplittingViaOKsolver experiments on DES.

1) Specifying DES random plaintext, key and ciphertext generation function, including splitting these functions up to allow better explanation and testing.
2) Providing C++ applications, PassExtends, which checks whether a partial assignment extends another, and PassClashes which checks whether two partial assignments clash.
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, and now 700, and computing the position of this assignment in the various basic orderings (except Marijn/van-Maaren's).

Matthew