Tag Archives: IoT

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

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

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

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

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

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

ThingsJS: Towards a Flexible and Self-Adaptable Middleware for Dynamic and Heterogeneous IoT Environments

Julien Gascon-Samson, Mohammad Rafiuzzaman, and Karthik Pattabiraman, Workshop on Middleware and Applications for the Internet of Things (m4IoT), co-held with the 2017 Middleware Conference. [ PDF | Talk ] (ThingsJS code)
Continue reading

ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security

Maryam Raiyat Aliabadi, Amita Kamath, Julien Samson, and Karthik Pattabiraman. ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), 2017. (Acceptance Rate: 24%). [PDF | Talk]
Continue reading

Formal Security Analysis of Smart Embedded Systems

Farid Molazem Tabrizi and Karthik Pattabiraman, Annual Computer Security Applications Conference (ACSAC), 2016. (Acceptance Rate: 23%) [ PDF | Talk ]
Continue reading