Security is an increasing concern for real-time systems (RTS). Over the last decade or so,
researchers have demonstrated attacks and defenses aimed at such systems. In this article …

Embedded devices are becoming increasingly pervasive in safety-critical systems of the
emerging cyber-physical world. While trusted execution environments (TEEs), such as ARM …

With the proliferation of autonomous safety-critical cyber-physical systems (CPS) in our daily
life, their security is becoming ever more important. Remote attestation is a powerful …

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 …

Most reinforcement learning algorithms implicitly assume strong synchrony. We present
novel attacks targeting Q-learning that exploit a vulnerability entailed by this assumption by …

Modern Internet-of-Things devices are vulnerable to attacks targeting outgoing actuation
commands that modify their physical behaviors. We present a “selective checking” …

The controller area network (CAN) protocol, used in many modern vehicles for real-time inter-
device communications, is known to have cybersecurity vulnerabilities, putting passengers …

Effective coordination of sensor inputs requires correct timestamping of the sensor data for
robotic vehicles. Though the existing trusted execution environment (TEE) can prevent direct …

The Butterfly Attack, introduced in an RTSS 2019 paper, was billed as a new kind of timing
attack against control loops in cyber-physical systems. We conduct a close inspection of the …

Cyber-physical systems (CPS) are vulnerable to attacks targeting outgoing actuation
commands that modify their physical behaviors. The limited resources in such systems …