publications

Preprints

2019

1. [DSN]
   Extensions of Network Reliability Analysis Nguyen, Hoang Hai, Palani, Kartik, and Nicol, David M In 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) 2019
2. [IoT]
   Scalable Identity and Key Management for Publish-Subscribe Protocols in the Internet-of-Things Anantharaman, Prashant, Palani, Kartik, and Smith, Sean In Proceedings of the 9th International Conference on the Internet of Things 2019 [Abs] [PDF]

   Publish-Subscribe protocols such as the Message Queuing Telemetry Transport (MQTT) protocol are considered scalable, lightweight, and one-size-fits-all solutions for the Internet-of-Things (IoT) networking. MQTT has been widely adopted in the Industrial IoT to automate distributed power grid equipment such as smart meters and sensors. Such protocols are being adopted rapidly, without much attention being paid to security. Although these protocols support client-side TLS certificates, operators of ten do not enable these features, fearing performance and availability issues. Moreover, managing these certificates would be yet another challenging problem.We present MaQaTooT, a key-management and communication scheme based on Macaroons for the IoT and Smart Grid applications. MaQaTooT offers a technique to authenticate devices throughout their lifecycle, while sustaining the lightweight nature of MQTT, and also keeping the communication confidential and maintaining its integrity. Furthermore, it allows us to revoke keys reliably. To validate our key-management scheme, we built a prototype client for the Firefly RK3288 ARM Development Board and a key-management server for a GNU/Linux machine. We demonstrate that its performance on the prototype client fits the 4 ms latency limit of Industrial IoT protocols. We also verified our session-key establishment protocol using Proverif to ensure that the protocol never leaks the shared secrets.

2018

1. [SmartGrid]
   PhasorSec: Protocol Security Filters for Wide Area Measurement Systems Anantharaman, Prashant, Palani, Kartik, Brantley, Rafael, Brown, Galen, Bratus, Sergey, and Smith, Sean W In 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm) 2018
2. Modeling cyber attacks at intelligent traffic signals Comert, Gurcan, Pollard, Jacquan, Nicol, David M, Palani, Kartik, and Vignesh, Babu Transportation research record 2018

2017

1. [HotSoS]
   An approach to incorporating uncertainty in network security analysis Nguyen, Hoang Hai, Palani, Kartik, and Nicol, David M In Proceedings of the Hot Topics in Science of Security: Symposium and Bootcamp 2017
2. [WSC]
   Melody: synthesized datasets for evaluating intrusion detection systems for the smart grid Babu, Vignesh, Kumar, Rakesh, Nguyen, Hoang Hai, Nicol, David M, Palani, Kartik, and Reed, Elizabeth In 2017 Winter Simulation Conference (WSC) 2017
3. [IJCAI]
   Blue skies: a methodology for data-driven clear sky modelling Palani, Kartik, Kota, Ramachandra, Azad, Amar Prakash, and Arya, Vijay In Proceedings of the 26th International Joint Conference on Artificial Intelligence 2017

2016

1. [Percom]
   Invisible and forgotten: Zero-day blooms in the IoT Palani, Kartik, Holt, Emily, and Smith, Sean In 2016 IEEE International Conference on Pervasive Computing and Communication Workshops (PerCom Workshops) 2016
2. [iThings]
   I Am Joe’s Fridge: Scalable Identity in the Internet of Things Anantharaman, Prashant, Palani, Kartik, Nicol, David, and Smith, Sean W In 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) 2016 [Abs] [PDF] [Slides]

   Most visions of the emerging Internet of Things (IoT) distribute massive numbers of devices throughout physical infrastructure. In most visions, these devices need to talk to each other. For this to work, the devices need to be able to authenticate each other. Presenting design issues and empirical results, this paper explores the cryptographic infrastructure necessary to capture this identity ontology.

2015

1. Fusing sensors for occupancy sensing in smart buildings Nasir, Nabeel, Palani, Kartik, Chugh, Amandeep, Prakash, Vivek Chil, Arote, Uddhav, Krishnan, Anand P, and Ramamritham, Krithi In International Conference on Distributed Computing and Internet Technology 2015

2014

1. [eEnergy]
   Putting smart meters to work: Beyond the usual Palani, Kartik, Nasir, Nabeel, Prakash, Vivek Chil, Chugh, Amandeep, Gupta, Rohit, and Ramamritham, Krithi In Proceedings of the 5th international conference on Future energy systems 2014