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
Tag Archives: smartmeter
Design-Level and Code-Level Security Analysis of IoT Devices
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
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
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
Filed under papers
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
Filed under papers