Automatic Safety Verification of Implantable Medical Devices
| Title | Automatic Safety Verification of Implantable Medical Devices |
| Publication Type | Presentation |
| Year of Publication | 2016 |
| Authors | Zhenqi Huang, University of Illinois at Urbana-Champaign, Chuchu Fan, University of Illinois at Urbana-Champaign, Alexandru Mereacre, University of Oxford, Sayan Mitra, University of Illinois at Urbana-Champaign, Marta Kwiatkowska, University of Oxford |
| Keywords | Health Care, Medical Devices, NSA SoS Lablets Materials, science of security, Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems, UIUC |
| Abstract | Presented at the NSA Science of Security Quarterly Meeting, July 2016. |
| URL | http://publish.illinois.edu/science-of-security-lablet/files/2014/05/13_SoS-Quarterly-Meeting_July-2... |
| Citation Key | node-31096 |
| Attachment | Size |
|---|---|
| bytes |