APSec1. 0: innovative security protocol design with formal security analysis for the artificial pancreas system

J Kim, J Oh, D Son, H Kwon, PV Astillo, I You - Sensors, 2023 - mdpi.com
The Medical Internet-of-Things (MIoT) has developed revolutionary ways of delivering
medical care to patients. An example system, showing increasing demand, is the artificial …