Abstract:Wearable and implantable medical devices (IMDs) are increasingly deployed to diagnose, monitor, and provide therapy for critical medical conditions. Such medical devices are safety-critical cyber-physical systems (CPSs). These systems support wireless features introducing potential security vulnerabilities. Although these devices undergo rigorous safety certification processes, runtime security attacks are inevitable. Based on published literature, IMDs such as pacemakers and insulin infusion systems can be remotely controlled to inject deadly electric shocks and excess insulin, posing a threat to a patient’s life. While prior works based on formal methods have been proposed to detect potential attack vectors using different forms of static analysis, these have limitations in preventing attacks at runtime. This paper discusses a formal framework for detecting cyber-physical attacks on a pacemaker by monitoring its security policies at runtime. We propose a wearable device that senses the Electrocardiogram (ECG) and Photoplethysmogram (PPG) of the body to detect attacks in a pacemaker. To facilitate the design of this device, we map the security policies of a pacemaker w.r.t ECG and PPG, paving the way for designing formal verification monitors for pacemakers for the first time using multiple physiological signals. The proposed monitoring framework allows the synthesis of parallel monitors from a given set of desired security policies, where all the monitors execute concurrently and generate an alarm to the user in the case of policy violation. Our implementation and the performance evaluation results demonstrate the technical feasibility of designing such a wearable device for attack detection in pacemakers. This device is separate from the pacemaker, ensuring no need for re-certification of pacemakers. Our approach is amenable to the application of security patches when new attack vectors are detected, making the approach ideal for runtime monitoring of medical CPSs.

Tampering Attack Detection in Analog to Feature Converter for Wearable Biosensor

An ASIC Solution for Intelligent Electrodes and Active-Cable Used in a Wearable ECG Monitoring System.

Design of a self-organized Intelligent Electrode for synchronous measurement of multiple bio-signals in a wearable healthcare monitoring system

An Active-Cable Connected ECG Monitoring System for Ubiquitous Healthcare

A High-Performance System for Weak ECG Real-Time Detection

A Wearable ECG Monitoring Device with Flexible Embedded Denoising and Compression

A Non-Contact Compact Portable ECG Monitoring System

A 1.06- $\mu$ W Smart ECG Processor in 65-Nm CMOS for Real-Time Biometric Authentication and Personal Cardiac Monitoring

A Low Power Level-Crossing ADC for Wearable Wireless ECG Sensors.

A 2.66 Μw Clinician-Like Cardiac Arrhythmia Watchdog Based on P-QRS-T for Wearable Applications

A CMOS Physiological Monitoring Frontend for Wearable Health Applications

A 300-mV 220-nW event-driven ADC with real-time QRS detection for wearable ECG sensors

An ECG-on-Chip for Wearable Cardiac Monitoring Devices

An Energy-Efficient ECG Processor Based on HDWT and a Hybrid Classifier for Arrhythmia Detection

The energy-efficient implementation of an adaptive-filtering-based QRS complex detection method for wearable devices

An ECG Intelligent Monitoring System with MSP430 Microcontroller

Side-channel attacks and countermeasures for heart rate retrieval from ECG characterization device

A Real-Time QRS Detection System With PR/RT Interval and ST Segment Measurements for Wearable ECG Sensors Using Parallel Delta Modulators

A Real-Time Vital-Sign Monitoring in the Physical Domain on a Mixed-Signal Reconfigurable Platform

Flexible Non-contact Electrodes for Wearable Biosensors System on Electrocardiogram Monitoring in Motion

Securing Pacemakers using Runtime Monitors over Physiological Signals