Keccak reference data

<p>This dataset contains all data referring to the Keccak implementation used in the reference implementation of Elephant. Specifically, it contains:&nbsp;</p><ul><li>The source code after being processed by CIL&nbsp;</li><li>The CIL code after being manually processed further&nbsp;</li><li>The while+ code after being transformed from CIL&nbsp;</li><li>The while+ code, after being manually processed further&nbsp;</li><li>The annotated program resulting from the first pass derivation rules being applied on the while+ code&nbsp;</li><li>The annotated programs resulting from the second pass derivation rules being applied on the results of the first pass&nbsp;</li></ul><p>Note that the second pass derivation trees also contain a small amount of natural language, to explain what is being done, apart from simply applying the derivation rules.</p>