This repository contains the implementation and experimental framework for the committing security analyses of ForkSkinny, ButterKnife, and ZIP-AES.
It provides the necessary source code, scripts, and configuration files to reproduce experiments, generate outputs, and analyze results.
The code is divided into separate directories for each primitive and its corresponding experiments. Each sub-directory is self-contained and includes its own documentation explaining:
- File descriptions
- Execution instructions
- Parameter configuration
- Output format
- Folder structure
For detailed information regarding ForkSkinny, please refer to fork_skinny/README.md.
For detailed information regarding ButterKnife and ZIP-AES, please refer to rebound/README.md.
These READMEs provide complete details about the files, how to execute them, and the directory structure of each component.