Tag Archives: IoT

ThingsJS: Towards a Flexible and Self-Adaptable Middleware for Dynamic and Heterogeneous IoT Environments

Posted on December 10, 2017 | Comments Off on ThingsJS: Towards a Flexible and Self-Adaptable Middleware for Dynamic and Heterogeneous IoT Environments

Julien Gascon-Samson, Mohammad Rafiuzzaman, and Karthik Pattabiraman, Workshop on Middleware and Applications for the Internet of Things (m4IoT), co-held with the 2017 Middleware Conference. [ PDF | Talk ] (ThingsJS code)
Continue reading →

Comments Off on ThingsJS: Towards a Flexible and Self-Adaptable Middleware for Dynamic and Heterogeneous IoT Environments

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