Open Access. Powered by Scholars. Published by Universities.®

Computer Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

Software

Departmental Papers (CIS)

Articles 1 - 2 of 2

Full-Text Articles in Computer Engineering

Cloud-Based Secure Logger For Medical Devices, Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T.X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, C. William Hanson Iii, Insup Lee Jun 2016

Cloud-Based Secure Logger For Medical Devices, Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T.X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, C. William Hanson Iii, Insup Lee

Departmental Papers (CIS)

A logger in the cloud capable of keeping a secure, time-synchronized and tamper-evident log of medical device and patient information allows efficient forensic analysis in cases of adverse events or attacks on interoperable medical devices. A secure logger as such must meet requirements of confidentiality and integrity of message logs and provide tamper-detection and tamper-evidence. In this paper, we propose a design for such a cloud-based secure logger using the Intel Software Guard Extensions (SGX) and the Trusted Platform Module (TPM). The proposed logger receives medical device information from a dongle attached to a medical device. The logger relies on ...


Platform-Specific Timing Verification Framework In Model-Based Implementation, Baekgyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee Mar 2015

Platform-Specific Timing Verification Framework In Model-Based Implementation, Baekgyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee

Departmental Papers (CIS)

In the model-based implementation methodology, the timed behavior of the software is typically modeled independently of the platform-specific timing semantics such as the delay due to scheduling or I/O handling. Although this approach helps to reduce the complexity of the model, it leads to timing gaps between the model and its implementation. This paper proposes a platform-specific timing verification framework that can be used to formally verify the timed behavior of an implementation that has been developed from a platform-independent model. We first describe a way to categorize the interactions among the software, a platform, and the environment in ...