Simeck Cube SMT

Cube and SMT based Cube Analysis of Simeck

About

Improving SMT-based Analysis of Simeck by Cube Characteristics

Support

• For Cube Analysis: Microsoft Windows

• For SMT-based Analysis: Microsoft Z3 SMT Solver Version 4.4.2 and Python Version 2.7

Usage

• For Cube Analysis: Run the simeck.exe executable

• For SMT-based Analysis: Run the python scripts