Trust-Cost Trade-Offs in Cryptographic Data Access Control for Edge-IoT Sensor Gateways: Reproducibility Artifact

Reproducibility artifact for the manuscript "Trust-Cost Trade-Offs in Cryptographic Data Access Control for Edge-IoT Sensor Gateways: A Formal and Energy-Aware Comparison". The artifact includes source code, Raspberry Pi 5/FNIRSI FNB-C2 measurement scripts, raw and summarized measurement logs, TLS 1.3 network-ablation outputs, Tamarin models, proof logs, mutation-check logs, and validation JSON files.