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
Tag Archives: IoT
ThingsJS: Towards a Flexible and Self-Adaptable Middleware for Dynamic and Heterogeneous IoT Environments
Comments Off on ThingsJS: Towards a Flexible and Self-Adaptable Middleware for Dynamic and Heterogeneous IoT Environments
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
