Tag Archives: security

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

Filed under papers

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

Filed under papers

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 ] (CodeArtifacts Reusable Badge from ACM)(Videos) This work appeared in the media and was ranked one of the top 10 cybersecurity innovations in Canade for the year 2019 by SERENE-RISC (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

Filed under papers

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

Filed under papers

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

Filed under papers

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

Filed under papers

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

Filed under papers

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

Comments Off on Formal Security Analysis of Smart Embedded Systems

Filed under papers

Flexible Intrusion Detection Systems for Memory-Constrained Embedded Systems

Farid Molazem Tabrizi and Karthik Pattabiraman, Proceedings of the 11th European Dependable Computing Conference (EDCC), 2015. Distinguished paper award (3 of 54 submissions). [ PDF | Talk ]
Continue reading

Comments Off on Flexible Intrusion Detection Systems for Memory-Constrained Embedded Systems

Filed under papers

Talk: Model-based Intrusion Detection System (IDS) for Smart Meters

Talk given at the 66th IFIP Working Group Meeting, Amicola, GA. (June 2014) [ PDF ]
Continue reading

Comments Off on Talk: Model-based Intrusion Detection System (IDS) for Smart Meters

Filed under papers, Talks