2 citations · 4 across the 3 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2018★ 1 cited
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
Nicola Paoletti, Zhihao Jiang, Md Ariful Islam +5
An Implantable Cardioverter Defibrillator (ICD) is a medical device used for the detection of potentially fatal cardiac arrhythmia and their treatment through the delivery of elect…
eess.SY2015★ 2 cited
Model Checking Implantable Cardioverter Defibrillators
Houssam Abbas, Kuk Jin Jang, Zhihao Jiang +1
Ventricular Fibrillation is a disorganized electrical excitation of the heart that results in inadequate blood flow to the body. It usually ends in death within seconds. The most c…