Reference implementations, simulators, and toolkits that make the lab's protocols reproducible and usable outside the paper.
A reference implementation of the PUF-based ZKP handshake protocol, for benchmarking on hardware-in-the-loop test rigs.
A lightweight verifier for proving safe reversion to a known-good firmware state, sized for zonal-controller constraints.