Research

Research at ESSL is motivated by the current climate of increasing cyber attacks, increasing digitization of traditionally-mechanical domains, as well as the need to assure the reliability of safety-critical systems. Our research centers around studying the intersection of security and real-time constraints in cyber-physical systems.

An embedded device is any small-form-factor computing device that has low memory, processing and storage capability, and is often part of a bigger digital system. Such devices are ubiquitous in domains such as the IoT, ICS, Automotive. Following are some of the projects currently ongoing or taken up in the past by the lab:

Operating Systems

Next generation technology is going to be powered by next generation operating system (OS) which is robust against command injection, memory leakage, faults. We are also studying ways of formulating efficient system level API, novel containerization applications. How many OSs can you name from the diagram above?