Event Details

Security Lancaster Seminar

Speaker: Arshad Jhumka

Title: Towards Auditable Internet of Things-Based Distributed Systems

Date: 20th Jan 2023

Time: 2pm - 3pm

Location: InfoLab21 C60b/c | Teams

Abstract:

Auditability is a useful property of a distributed system: It enables the identification of performance bottlenecks, dependencies among events, security violations and protocol correctness among many others. Auditability in IoT systems is often achieved through collecting logs at each node, often to validate protocol operations. Such works mostly assume that nodes operate correctly in their environment. However, due to multiple challenges such as system updates and misconfiguration, nodes may deviate from expected behaviours. In this talk, we first briefly survey existing works on system auditability. We then identify various specifications for log collections. We look at some impossibility results and also look at algorithms to solve a weak log collection specification. We then identify some of the open research areas that we are currently pursuing.

Bio:

Arshad Jhumka is a Reader in the Department of Computer Science at the University of Warwick. His research interests are in the general area of reliable distributed systems where he has made contributions in sensor and IoT networks, HPC systems and edge networks among others. His work has focused on the development of middleware and support systems to ease the development of reliable distributed systems. He currently leads a group of 8 PhD students in reliable distributed systems and has successfully supervised a further 15. His work has been supported by both industry and funding agencies.