Tag Archives: journal

ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications

Posted on November 3, 2020 | Comments Off

Kumseok Jung, Julien Gascon-Samson, Shivanshu Goyal, Armin Rezalean-Asel, and Karthik Pattabiraman, To appear in the Journal of Software Practice and Experience (SPE). [ PDF ]
Continue reading →

Comments Off on ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications

Posted in papers

Tagged 2020, IoT, journal, Julien, kumseok, reliability

An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors in Programs

Posted on October 20, 2020 | Comments Off

Behrooz Sangchoolie, Karthik Pattabiraman and Johan Karlsson, To appear in the IEEE Transactions on Dependable and Secure Computing (TDSC). [ PDF ]
Continue reading →

Comments Off on An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors in Programs

Posted in papers

Tagged 2020, Behrooz, journal, reliability, Resilient

Stealthy Attacks Against Robotic Vehicles Protected by Control-based Intrusion Detection Techniques

Posted on August 21, 2020 | Comments Off

Pritam Dash, Mehdi Karimibuiki, and Karthik Pattabiraman, To appear in the ACM Journal on Digital Threats: Research and Practice (DTRAP). Acceptance Date: August 2020. [ PDF ]
Continue reading →

Comments Off on Stealthy Attacks Against Robotic Vehicles Protected by Control-based Intrusion Detection Techniques

Posted in papers

Tagged 2020, IoT, journal, mehdi, Pritam, security

Improving the Accuracy of IR-Level Fault Injection

Posted on April 4, 2020 | Comments Off

Lucas Palazzi, Guanpeng Li, Bo Fang, and Karthik Pattabiraman, IEEE Transactions on Dependable and Secure Computing (TDSC). (Acceptance date: March 2020). [PDF] (Code)
Continue reading →

Comments Off on Improving the Accuracy of IR-Level Fault Injection

Posted in papers

Tagged 2020, Bo, journal, Justin, Lucas, reliability, Resilient

Design-Level and Code-Level Security Analysis of IoT Devices

Posted on February 11, 2019 | Comments Off

Farid Molazem Tabrizi and Karthik Pattabiraman, ACM Transactions on Embedded Computing Systems (TECS). [ PDF ]. Awarded best paper of TECS 2020 (ECE Story). Received significant news coverage (below).
(This paper supercedes our ACSAC’16 paper.)
Continue reading →

Comments Off on Design-Level and Code-Level Security Analysis of IoT Devices

Posted in papers

Tagged 2019, award, Farid, formal, IoT, journal, security, smartmeter

Configurable Detection of SDC-Causing Errors in Programs

Posted on November 3, 2016 | Comments Off

Qining Lu, Guanpeng Li, Karthik Pattabiraman, Meeta Gupta and Jude Rivers, ACM Transactions on Embedded Computing Systems (TECS). [ PDF ]
Continue reading →

Comments Off on Configurable Detection of SDC-Causing Errors in Programs

Posted in papers

Tagged 2016, journal, Justin, Qining, reliability, Resilient

A Systematic Methodology for Evaluating the Error Resilience of GPGPU Applications

Posted on January 1, 2016 | Comments Off

Bo Fang, Karthik Pattabiraman, Matei Ripeanu and Sudhanva Gurumurthi, IEEE Transactions on Parallel and Distributed Systems (TPDS), 2016. [ PDF ]
Continue reading →

Comments Off on A Systematic Methodology for Evaluating the Error Resilience of GPGPU Applications

Posted in papers

Tagged 2016, Bo, journal, reliability, Resilient

Understanding JavaScript Event-Based Interactions with Clematis

Posted on November 6, 2015 | Comments Off

Saba Alimadadi, Sheldon Sequeira, Ali Mesbah and Karthik Pattabiraman, ACM Transactions on Software Engineering and Methodology (TOSEM), 2015. [ PDF ]
Continue reading →

Comments Off on Understanding JavaScript Event-Based Interactions with Clematis

Posted in papers

Tagged 2015, journal, reliability, Saba, Sheldon, web 2.0

Error Detector Placement for Soft-Computing Applications

Posted on July 5, 2015 | Comments Off

Anna Thomas and Karthik Pattabiraman, ACM Transactions on Embedded Computing (TECS). [ PDF ]
Continue reading →

Comments Off on Error Detector Placement for Soft-Computing Applications

Posted in papers

Tagged 2015, Anna, journal, reliability, Resilient

Automatic Fault Localization for Client-Side JavaScript

Posted on March 5, 2015 | Comments Off

Frolin Ocariza, Guanpeng Li, Karthik Pattabiraman and Ali Mesbah, Journal of Software Testing, Verification and Reliability (STVR). [ PDF ]
Continue reading →

Comments Off on Automatic Fault Localization for Client-Side JavaScript

Posted in papers

Tagged 2015, Frolin, journal, Justin, reliability, web 2.0

Spam prevention powered by Akismet