Jiyoon Kim 0001, Jongmin Oh, Daehyeon Son, Hoseok Kwon, Philip Virgil Astillo, Ilsun You. APSec1.0: Innovative Security Protocol Design with Formal Security Analysis for the Artificial Pancreas System. Sensors, 23(12):5501, 2023. [doi]
Abstract is missing.