Tag Archives: security

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

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

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

Pritam Dash, Mehdi Karimibuiki, 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 | 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. Received significant news coverage (see 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 | 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 | Comments Off on DynPolAC: Dynamic Policy-based Access Control for IoT Systems

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

Formal Security Analysis of Smart Embedded Systems

Posted on August 18, 2016 | Comments Off on 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

Posted in papers

Tagged , , , , ,

Flexible Intrusion Detection Systems for Memory-Constrained Embedded Systems

Posted on May 26, 2015 | Comments Off on 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

Posted in papers

Tagged , , , ,

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

Posted on June 28, 2014 | Comments Off on 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

Posted in papers, Talks

Tagged , , , ,

Modular Protections Against Non-Control Data Attacks

Posted on January 24, 2014 | Comments Off on Modular Protections Against Non-Control Data Attacks

Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker and Benjamin Zorn, Journal of Computer Security (JCS), November 2014 (Invited as one of the best papers of the CSF 2011 Conference) [ PDF ]
Continue reading →

Comments Off on Modular Protections Against Non-Control Data Attacks

Posted in papers

Tagged , , ,