Reference implementations, simulators, and toolkits that make the lab's protocols reproducible and usable outside the paper.
An O(1) scalable, hardware-rooted privacy-preserving authentication for Secure OTA updates in Zonal SDVs.
Access on GitHubA lightweight verifier for proving safe reversion to a known-good firmware state, sized for zonal-controller constraints.