Category Archives: papers

OneOS: IoT Platform based on Posix and Actors

Posted on May 20, 2019 by | Comments Off on OneOS: IoT Platform based on Posix and Actors

Kumseok Jung, Julien Gascon-Samson, Karthik Pattabiraman, Proceedings of the Usenix Workshop on Hot Topics in Edge Computing (HotEdge), 2019. [ PDF | Talk ] (Code)
Continue reading →

Comments Off on OneOS: IoT Platform based on Posix and Actors

Posted in papers

Tagged , , , ,

BonVoision: Leveraging Spatial Data Smoothness for Recovery from Memory Soft Errors

Posted on April 14, 2019 by | Comments Off on BonVoision: Leveraging Spatial Data Smoothness for Recovery from Memory Soft Errors

Bo Fang, Hassan Halawa, Karthik Pattabiraman, Matei Ripeanu and Sriram Krishnamurthy, , Proceedings of the ACM International Conference on Supercomputing (ICS), 2019. (Acceptance Rate: 23.2 %). [ PDF | Talk ]
Continue reading →

Comments Off on BonVoision: Leveraging Spatial Data Smoothness for Recovery from Memory Soft Errors

Posted in papers

Tagged , , , , ,

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

Posted on February 11, 2019 by | 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 , , , , , , ,

Failure Prediction in the Internet of Things due to Memory Exhaustion

Posted on November 28, 2018 by | Comments Off on Failure Prediction in the Internet of Things due to Memory Exhaustion

Mohammad Rafiuzzaman, Julien Gascon-Samson, Karthik Pattabiraman, and Sathish Gopalakrishnan, Proceedings of the ACM/SIGAPP International Conference on Applied Computing (SAC), 2019. Dependable, Adaptive, Distributed Systems (DADS) Track. (Acceptance Rate: 27.5%) [ PDF | Talk ]
Continue reading →

Comments Off on Failure Prediction in the Internet of Things due to Memory Exhaustion

Posted in papers

Tagged , , , , ,

CORGIDS: A Correlation-based Generic Intrusion Detection System

Posted on October 15, 2018 by | Comments Off on CORGIDS: A Correlation-based Generic Intrusion Detection System

Ekta Aggarwal, Mehdi Karimbuiki, Karthik Pattabiraman and Andre Ivanov, ACM International Workshop on Cyber-Physical Systems Security and Privacy (CPS-SPC), 2018, co-located with the ACM Conference on Computer and Communications Security (CCS), 2018. [ PDF | Talk Slides ]
Continue reading →

Comments Off on CORGIDS: A Correlation-based Generic Intrusion Detection System

Posted in papers

Tagged , , , , , ,

TensorFI: A Configurable Fault Injector for TensorFlow Applications

Posted on October 15, 2018 by | Comments Off on TensorFI: A Configurable Fault Injector for TensorFlow Applications

Guanpeng Li, Karthik Pattabiraman, and Nathan DeBardeleben, Workshop on Software Certification (WoSoCER), 2018, co-located with the IEEE International Symposium on Software Reliability Engineering (ISSRE). 2018. [ PDF | Talk Slides ] (Code)
Continue reading →

Comments Off on TensorFI: A Configurable Fault Injector for TensorFlow Applications

Posted in papers

Tagged , , , ,

DynPolAC: Dynamic Policy-based Access Control for IoT Systems

Posted on September 25, 2018 by | Comments Off on DynPolAC: Dynamic Policy-based Access Control for IoT Systems

Mehdi Karimibiuki, Ekta Aggarwal, Karthik Pattabiraman, and Andre Ivanov, IEEE International Symposium on Dependable Computing (PRDC), 2018. (Acceptance Rate: 49%). [ PDF | Talk Slides ] (Code)
Continue reading →

Comments Off on DynPolAC: Dynamic Policy-based Access Control for IoT Systems

Posted in papers

Tagged , , , , ,

ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications

Posted on April 13, 2018 by | Comments Off on ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications

Julien Gascon-Samson, Kumseok Jung, Shivanshu Goyal, Armin Rezalean-Asel, Karthik Pattabiraman, European Conference on Object Oriented Programming (ECOOP), 2018. (Acceptance Rate: 39%). [ PDF | Talk | Poster ] (Code)
Continue reading →

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

Posted in papers

Tagged , , , , ,

Modeling Soft-Error Propagation in Programs

Posted on March 4, 2018 by | Comments Off on Modeling Soft-Error Propagation in Programs

Guanpeng Li, Karthik Pattabiraman, Siva Kumar Sastry Hari, Michael Sullivan, and Timothy Tsai. IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018. (Acceptance Rate for Regular Papers: 25%) [ PDF | Talk ] (Link to Code) (Best Paper Runner up)
Continue reading →

Comments Off on Modeling Soft-Error Propagation in Programs

Posted in papers

Tagged , , , , , ,

Modeling Input Dependent Error Propagation in Programs

Posted on March 4, 2018 by | Comments Off on Modeling Input Dependent Error Propagation in Programs

Guanpeng Li and Karthik Pattabiraman, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018. (Acceptance Rate for Regular Papers: 25%) [PDF | Talk] (Link to Code)
Continue reading →

Comments Off on Modeling Input Dependent Error Propagation in Programs

Posted in papers

Tagged , , , , ,