Tag Archives: Farid

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

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

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