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

Branch: keeloq.

NOTE: Pull request was reissued as the branch hadn't pushed correctly.

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