Sidra Anwar, Mouaz Hendi, Jonathan Anderson. Energy-Conscious and Regulation-Ready Security Protocol for Wearable Medical Devices: From Formal Proofs to Deployment. In Daisuke Mashima, Kassem Fawaz, editors, Proceedings of the 7th Joint Workshop on CPS&IoT Security and Privacy, CPSIoTSec 2025, Taipei, Taiwan, October 13-17, 2025. pages 2-18, ACM, 2025. [doi]
Abstract is missing.