GitHub repository: IAIK/coco-alma
Primary language: Python
Description: CocoAlma is an execution-aware tool for formal verification of masked implementations