Tag Archives: journal

A Large-scale Empirical Study of Low-level Function Use in Ethereum Smart Contracts and Automated Replacement

Posted on October 7, 2022 | Comments Off on A Large-scale Empirical Study of Low-level Function Use in Ethereum Smart Contracts and Automated Replacement

Rui Xi and Karthik Pattabiraman, Journal of Software Practice and Experience (SPE). [ PDF ] (featured in the Smart Contract Research Forum)
Continue reading →

Comments Off on A Large-scale Empirical Study of Low-level Function Use in Ethereum Smart Contracts and Automated Replacement

Posted in papers

Tagged , , , ,

Fault Injection for TensorFlow Applications

Posted on May 10, 2022 | Comments Off on Fault Injection for TensorFlow Applications

Niranjhana Narayanan, Zitao Chen, Bo Fang, Guanpeng Li, Karthik Pattabiraman, and Nathan DeBardeleben, IEEE Transactions on Dependable and Secure Computing (TDSC). Acceptance Date: May 2022. [ PDF ] (code1, code2)
Continue reading →

Comments Off on Fault Injection for TensorFlow Applications

Posted in papers

Tagged , , , , , , , ,

ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications

Posted on November 3, 2020 | Comments Off on ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications

Kumseok Jung, Julien Gascon-Samson, Shivanshu Goyal, Armin Rezalean-Asel, and Karthik Pattabiraman, 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 , , , , ,

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

Posted on October 20, 2020 | Comments Off on An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors in Programs

Behrooz Sangchoolie, Karthik Pattabiraman and Johan Karlsson, 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 , , , , ,

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

Posted on August 21, 2020 | Comments Off on Stealthy Attacks Against Robotic Vehicles Protected by Control-based Intrusion Detection Techniques

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 , , , , ,

Improving the Accuracy of IR-Level Fault Injection

Posted on April 4, 2020 | Comments Off on Improving the Accuracy of IR-Level Fault Injection

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 , , , , , ,

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

Posted on February 11, 2019 | Comments Off on Design-Level and Code-Level Security Analysis of IoT Devices

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 , , , , , , ,