OKullmann/oklibrary — pull request #382 by MGwynne (2012-02-29 14:00:22+00:00)
Title: Improving the specification of KeeLoq.

Branch: keeloq.

Updating specification of the KeeLoq cipher itself (rather than functions implemented).

The definition comes directly from Bard and Courtois' paper, and so I've added a todo on providing better definition that fits with the OKlibrary. This definition is provided initially so as to ensure we then compare any equivalent definition to what is originally given.

Matthew