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.15 is the final pre-submission package; it incorporates the last manuscript wording fixes (recurring-gap phrasing in the conclusion, Wang ZT-R1 alignment with the evaluation table, and an explicit AP-authentication deployment note) on top of the two-author v1.13 manuscript. 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/v1.13 lineage. The peer-reviewed journal article remains the canonical manuscript. Archive checksums: SHA-256 09D51D8CE94BEE0C01381279A460931573B074D0AED52A5CC207EF6EE8D6F41E; MD5 431322EF693CC34D58A19D639D998973.