SMDAps: A specification-based misbehavior detection system for implantable devices in artificial pancreas system

PV Astillo, J Jeong, WC Chien, B Kim… - Journal of Internet …, 2021 - jit.ndhu.edu.tw
Implantable medical devices are playing a key role in the paradigm shift of providing
healthcare services. Particularly, this paper highlights the role of artificial pancreas system …

TrMAps: Trust management in specification-based misbehavior detection system for IMD-enabled artificial pancreas system

PV Astillo, G Choudhary, DG Duguma… - IEEE Journal of …, 2021 - ieeexplore.ieee.org
Advances of implantable medical devices (IMD) are transforming the traditional method of
providing medical treatment, especially those patients under the most challenging condition …

Security challenges and solutions for closed-loop artificial pancreas systems

C Lazaro, E Oruklu, A Cinar - 2017 IEEE 60th International …, 2017 - ieeexplore.ieee.org
This work presents security solutions related to multi-sensor closed-loop artificial pancreas
(AP) systems. The proposed AP system is built on a heterogeneous platform incorporating a …

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 …

Federated intelligence of anomaly detection agent in IoTMD-enabled Diabetes Management Control System

PV Astillo, DG Duguma, H Park, J Kim, B Kim… - Future Generation …, 2022 - Elsevier
Implantable internet of things medical devices (IoTMD) has drawn a disruptive
transformation in the healthcare domain. It has improved the services of healthcare …

Blockchain-based privacy preservation scheme for misbehavior detection in lightweight IoMT devices

S Rahmadika, PV Astillo, G Choudhary… - IEEE Journal of …, 2022 - ieeexplore.ieee.org
The Internet of Medical Things (IoMT) has risen to prominence as a possible backbone in
the health sector, with the ability to improve quality of life by broadening user experience …

Hijacking an insulin pump: Security attacks and defenses for a diabetes therapy system

C Li, A Raghunathan, NK Jha - 2011 IEEE 13th international …, 2011 - ieeexplore.ieee.org
Wearable and implantable medical devices are being increasingly deployed to improve
diagnosis, monitoring, and therapy for a range of medical conditions. Unlike other classes of …

Towards system level security analysis of artificial pancreas via uppaal-smc

AL Alshalalfah, GB Hamad… - 2019 IEEE International …, 2019 - ieeexplore.ieee.org
The reliability of artificial pancreas is crucial for the safety and security of type 1 diabetes. In
this paper, new modeling and analysis of the closed-loop glucose control system are …

A secure insulin infusion system using verification monitors

A Panda, S Pinisetty, P Roop - Proceedings of the 19th ACM-IEEE …, 2021 - dl.acm.org
Wearable and implantable medical devices are being increasingly deployed for diagnosis,
monitoring, and to provide therapy for critical medical conditions. Such medical devices are …

PHASE: Security Analyzer for Next-Generation Smart Personalized Smart Healthcare System

NI Haque, MA Rahman - 2022 IEEE International Conference …, 2022 - ieeexplore.ieee.org
With the advent of the connected healthcare systems, the contemporary healthcare system is
going through a swift transformation to handle the ever-growing healthcare needs. The …