ZT-EAP: Zero-Trust EAP Authentication Framework for IoT-WLAN Edge Access

This artifact contains the finalized reproducibility package for the accompanying paper on zero-trust EAP authentication for IoT-WLAN edge access. It includes Tamarin proof models and logs, the Python reference implementation, PC and Raspberry Pi 5 benchmark scripts and outputs, FNB-C2 power-measurement traces, generated figures, and paper-local LaTeX source/PDF. Version v1.13 aligns the bundled paper source and PDF with the two-author submission manuscript and the final pre-submission revision (neutral competitor terminology, added gap-evidence map, and tightened proof-scope wording). The reproducibility payload (Tamarin proof models and logs, the Python reference implementation, and PC/Raspberry Pi 5 benchmark outputs) is unchanged from the v1.11/v1.12 lineage. The peer-reviewed journal article remains the canonical manuscript. Archive checksums: SHA-256 10F43E5E79F6EBC7C9DAEFCF2839E2A7770FB3C2151D4F2E96370876E8E997DA; MD5 1017DC312AB751DF3FDAD22688AEA1B6.