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

This artifact contains the reproducibility package for the ZT-EAP IoT-WLAN authentication paper, including Tamarin proof models and logs, Python reference implementations, benchmark scripts, raw timing samples, Raspberry Pi 5/FNB-C2 board-energy traces, generated figures, and manuscript source/PDF. Version 1.10 refreshes the package after the final future-work wording update and addition of the Declaration of competing interest section so that the archived manuscript source and PDF match the submitted manuscript.