IEEE - Institute of Electrical and Electronics Engineers, Inc. - Security of Pacemakers using Runtime Verification

2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

Author(s): Srinivas Pinisetty ; Partha S. Roop ; Vidula Sawant ; Gerardo Schneider
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2018
Conference Location: Beijing, China
Conference Date: 15 October 2018
Page(s): 1 - 11
ISBN (Electronic): 978-1-5386-6195-6
DOI: 10.1109/MEMCOD.2018.8556922
Regular:

The US Food and Drug Administration (FDA) recently recalled approximately 465,000 pacemakers that were vulnerable to hacking. It was reported that hackers could either pace the devices rapidly... View More

Advertisement