Power-instrumented device measurements

Replace the calibrated analytic energy model for transcript-bound hybrid key establishment with measurements obtained from a power-instrumented single-board implementation.

Background

The reported Cortex-M4 cost and energy figures are derived by composing published per-primitive measurements and an analytic radio-energy model rather than by running the complete protocol on one instrumented device.

The paper explicitly lists replacing this model with power-instrumented single-board measurements as future work, leaving the construction’s end-to-end empirical energy cost unresolved.