Decision-Grade Masking: A Sound-by-Construction Static Lint and Equipment-Free Verification Flow for Robust d-Probing Security of a First-Order AES S-box

# Decision-Grade Masking — PROLEAD Experiment Data Bundle **DOI**: (to be assigned by Zenodo after upload)**Version**: 1.0**Date**: 2026-07-31**Associated manuscript**: "Decision-Grade Masking: A Sound-by-Construction StaticLint and Equipment-Free Verification Flow for Robust d-Probing Security ofa First-Order AES S-box" (submitted to IEEE Transactions on InformationForensics and Security, July 2026)**Authors**: Cheonshik et al. (Sejong University, masked-AES hardware-security team) --- ## What this bundle contains This is the raw experimental data, RTL source, synthesis netlists, PROLEADconfigurations, and Docker build files for the **four-tier decision-gradeevidence chain** of our IEEE TIFS submission. The bundle is intended forreviewers and readers who want to verify, reproduce, or extend theempirical PROLEAD evaluations reported in the paper. The bundle does **not** include the manuscript itself, the cover letter,or the COI disclosure (those are submitted separately via ScholarOne).It also does not include the PROLEAD binary — PROLEAD is an open-sourcetool (Müller and Moradi, IEEE TIFS 2022) and the exact release is rebuiltfrom the bundled Dockerfile.