CocoAlma is an execution-aware tool for formal verification of masked implementations - View it on GitHub