Keccak reference data

This dataset contains all data referring to the Keccak implementation used in the reference implementation of Elephant. Specifically, it contains: The source code after being processed by CIL The CIL code after being manually processed further The while+ code after being transformed from CIL The while+ code, after being manually processed further The annotated program resulting from the first pass derivation rules being applied on the while+ code The annotated programs resulting from the second pass derivation rules being applied on the results of the first pass 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.