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.12 refreshes the package at the submission stage. The reproducibility payload (Tamarin proof models and logs, the Python reference implementation, and PC/Raspberry Pi 5 benchmark outputs, including Mode-B DH reconnect and repeated RP5/FNB-C2 energy runs) is final. The bundled paper source and PDF reflect the v1.12 state and may slightly trail last-minute manuscript presentation edits; the peer-reviewed journal article is the canonical manuscript. Archive checksums: SHA-256 7B8A2D9FBBF6F6F456036065B0DAB652DABC87406947AFE73EB0EF2107974312; MD5 14AB95B82ED3CB4006EFC83C4AD508C6.