Tag Archives: security

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

Pritam Dash, Mehdi Karimi, 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 (Eureka alert)(TechXplore)(Globalnews)(Market Associates)(Helpnet)
Continue reading

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

Farid Molazem Tabrizi and Karthik Pattabiraman, To appear in the ACM Transactions on Embedded Computing Systems (TECS). [ PDF ] (UBC news story, TheStraight, EurekaAlert, E&T, ScienceDaily, TechXplore)
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 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

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

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

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

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

A Model-based Intrusion Detection System for Smart Meters

Farid Tabrizi and Karthik Pattabiraman, To appear in the Proceedings of the IEEE International Symposium on High-Assurance Systems Engineering (HASE), 2014.
[PDF | Talk ]
Continue reading