TSM and HO-TSM Supplementary Repository

This dataset includes Verilog source code for the Higher-Order Time Sharing Masking (HO-TSM) scheme, along with reference implementations of masked AES S-Boxes and a masked AES-128 core. It also provides synthesis scripts for generating netlists using Synopsys Design Compiler, configuration files for PROLEAD and SILVER formal verification tools, and testbenches for simulation. The files are organized for reproducibility, and a top-level README offers detailed build, test, and verification instructions. The dataset enables researchers to reproduce performance and security results reported in the CHES 2025 paper.