Increasing internet connectivity poses an existential threat for cyber-physical systems.
Securing these safety-critical systems becomes an important challenge. Cyber-physical …

Timing property plays a vital role in the Cyber-Physical System (CPS) due to its interaction
with the physical world. The smooth operation of these robotic systems often relies on an …

Critical infrastructure components are digitally controlled and operate alongside setups of
interconnected machinery, computers and network devices, ie as cyber-physical systems. As …

This paper studies the synthesis of controllers for cyber-physical systems (CPSs) that are
required to carry out complex tasks that are time-sensitive, in the presence of an adversary …

Control systems can be vulnerable to security threats where an attacker gathers information
about the execution of the system. In particular, side-channel attacks exploit the predictability …

Time-triggered real-time systems achieve deterministic behaviour, making them suitable for
safety-critical environments. However, this determinism also allows attackers to finetune …

As cyber-physical systems have become increasingly complex, rising computational
demand has led to the ubiquitous use of multicore processors in embedded environments …

National security agencies are increasingly concerned about cyber threats to Industrial
Control Systems (ICS). For this reason, the detection and mitigation of cyber-attacks on ICS …

Real-time embedded systems (RTES) are required to interact more and more with their
environment, thereby increasing their attack surface. Recent security breaches on car …

We demonstrate the presence of a novel scheduler side-channel in preemptive, fixed-priority
real-time systems (RTS); examples of such systems can be found in automotive systems …