The group, led by Prof. Sibin Mohan, primarily conducts research in the Computer Systems area. Much of the research aims to improve the resiliency of cyber-physical systems, real-time and embedded systems as well as the Internet-of-Things domains. To improve resiliency, we work on novel security mechanisms for these domains as well as robust networking and platform architectures. Recently, we are also expanding these ideas to the broader systems areas, e.g. security for cloud computing and the design of manufacturing systems.

The various projects in the SyNeRCyS group can be categorized as follows:

1. Security for Real-Time, Embedded, Cyber-Physical and IoT systems

• ScheduLeak: Scheduler-based Side-channel Attack
• Integrating Security as a First Class Principle in Real-Time Systems
• Real-time System Task Prediction
• Anomaly Detection in Real-time Systems
• TaskShuffler/ReOrder: Real-time Schedule Randomization

2. Development of Resilient/Robust Platforms for Real-Time, CPS and IoT Systems

• Resilient Real-Time Networks with QoS Guarantees using NFV
• ReSecure: Restart-based Cyber-physical System Design
• Secure Integration of Distributed Energy Resources with the Power Grid

3. Resiliency of Cloud Computing Platforms:

• Container Debloating: Reducing Code Bloat in Container-based Applications
• MiDas: Minimizing Datasets in Container-based Applications via I/O Specialization
• MultiK: Debloating Operating Systems for Security
• Cozart: How to Debloat Kernels via Configuration Practically
• Lupine: A Linux in Unikernel Clothing

4. Design of, and Resiliency for, Smart Manufacturing Systems:

• SDC: Software Defined Control for Smart Manufacturing Systems

Sponsors