Follow

Papers from 2018

PDF

Cyber-Physical System Checkpointing and Recovery, Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, and Insup Lee

PDF

LogSafe: Secure and Scalable Data Logger for IoT Devices, Hung Nguyen, Radoslav Ivanov, Linh T.X. Phan, Oleg Sokolsky, James Weimer, and Insup Lee

Papers from 2017

PDF

Design and Implementation of Attack-Resilient Cyber-Physical Systems, Miroslav Pajic, James Weimer, Nicola Bezzo, Oleg Sokolsky, George Pappas, and Insup Lee

PDF

Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults, Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Sang Hyuk Son, and Insup Lee

PDF

Resilient Linear Classification: An Approach to Deal with Attacks on Training Data, Sangdon Park, James Weimer, and Insup Lee

Papers from 2016

PDF

Estimation of Blood Oxygen Content Using Context-Aware Filtering, Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George Pappas, and Insup Lee

PDF

Scalable Verification of Linear Controller Software, Junkil Park, Miroslav Pajic, Insup Lee, and Oleg Sokolsky

Papers from 2015

PDF

Robust Estimation Using Context-Aware Filtering, Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George Pappas, and Insup Lee

PDF

Attack-Resilient State Estimation in the Presence of Noise, Miroslav Pajic, Paulo Tabuada, Insup Lee, and George Pappas