dataset · Zenodo (CERN European Organization for Nuclear Research)
Reproducibility artifact for the manuscript "CP-ABE and Online Key Access for Edge-IoT Gateways: Trust–Cost Trade-Offs and Symbolic Protocol Analysis". The artifact includes the exact measured Rust source, a separately labeled post-campaign hardening revision, Raspberry Pi 5/FNIRSI FNB-C2 measurement scripts, raw and summarized validated records, a reproducible paired B1/B2 analysis, TLS 1.3 network-ablation outputs, Tamarin trusted-enforcement models, 20 B2 and 9 B3 verified-lemma logs, sixteen mutation-check models and counter-trace logs, and auditable exclusion evidence for all rejected or interrupted v4 attempts.
This page summarises published work. The authoritative version sits with the publisher.
DOI: 10.5281/zenodo.20836832
Is something wrong with this record? Report it or request removal.
Discussion
Have you built on this work, tried to replicate it, or seen it applied in practice? Share what you know. Verified researchers and MARATTO™ domain experts can open a discussion, and any member can reply. Contributions are reviewed before they appear.
No discussion yet. Open the first thread.
New to MARATTO™? Create a free account.
