Tag Archives: smartmeter

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

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

A Model-based Intrusion Detection System for Smart Meters

Posted on October 10, 2013 | Comments Off on 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 →

Comments Off on A Model-based Intrusion Detection System for Smart Meters

Posted in papers

Tagged , , , ,

A Model for Security Analysis of Smart Meters

Posted on May 4, 2012 | Comments Off on A Model for Security Analysis of Smart Meters

Farid M. Tabrizi and Karthik Pattabiraman, To appear in the Workshop on Recent Advances in Intrusion Tolerance and reSilience (WRAITS), 2012.
Continue reading →

Comments Off on A Model for Security Analysis of Smart Meters

Posted in papers

Tagged , , , ,