Tag Archives: security

Are you for Real? Authentication in Dynamic IoT Systems

Posted on September 2, 2021 by | Comments Off on Are you for Real? Authentication in Dynamic IoT Systems

Mehdi Karimibiuki, Karthik Pattabiraman, and Andre Ivanov, IEEE International Symposium on Pacific Rim Dependable Computing (PRDC), 2021. (Acceptance Rate: 43%) [ PDF | Talk ]
Continue reading →

Comments Off on Are you for Real? Authentication in Dynamic IoT Systems

Posted in papers

Tagged , , , ,

PID-Piper: Recovering Robotic Vehicles from Physical Attacks

Posted on March 10, 2021 by | Comments Off on PID-Piper: Recovering Robotic Vehicles from Physical Attacks

Pritam Dash, Guanpeng Li, Zitao Chen, Mehdi Karimibiuki, and Karthik Pattabiraman, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021. (Acceptance Rate: 16.5%). [ PDF | Talk, Talk Video ] (Code, PID-Piper Videos) Best Paper Award (1 of nearly 300 submissions).
Continue reading →

Comments Off on PID-Piper: Recovering Robotic Vehicles from Physical Attacks

Posted in papers

Tagged , , , , , , , , ,

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

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

Pritam Dash, Mehdi Karimibuiki, and Karthik Pattabiraman, 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 , , , , ,

How Effective are Smart Contract Static Analysis Tools ? Evaluating Smart Contract Static Analysis Tools Using Bug Injection

Posted on May 22, 2020 by | Comments Off on How Effective are Smart Contract Static Analysis Tools ? Evaluating Smart Contract Static Analysis Tools Using Bug Injection

Asem Ghaleb and Karthik Pattabiraman, Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2020. (Acceptance Rate: 26%) [PDF | Talk] (DataSet, Code – Artifacts Functional Badge)
Continue reading →

Comments Off on How Effective are Smart Contract Static Analysis Tools ? Evaluating Smart Contract Static Analysis Tools Using Bug Injection

Posted in papers

Tagged , , , , , ,

Out of Control: Stealthy Attacks on Robotic Vehicles Protected by Control-Based Techniques

Posted on August 25, 2019 by | Comments Off on Out of Control: Stealthy Attacks on Robotic Vehicles Protected by Control-Based Techniques

Pritam Dash, Mehdi Karimibiuki, and Karthik Pattabiraman, Annual Computer Security Applications Conference (ACSAC), 2019. (Acceptance Rate: 22.6%) [ PDF | Talk ] (Code – Artifacts Reusable Badge from ACM)(Videos) This work appeared in the media (Eureka alert)(TechXplore)(Globalnews)(Market Associates)(Helpnet, SERENE-RISC digest)
Continue reading →

Comments Off on Out of Control: Stealthy Attacks on Robotic Vehicles Protected by Control-Based Techniques

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

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

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

ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security

Posted on June 3, 2017 by | Comments Off on 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 →

Comments Off on ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security

Posted in papers

Tagged , , , , , ,