The run-time security guarantee is a hotspot in current cyberspace security research,
especially on embedded terminals, such as smart hardware as well as wearable and mobile …

Time-triggered real-time systems achieve deterministic behavior using schedules that are
constructed offline, based on scheduling constraints. Their deterministic behavior makes …

The problem of ordering task executions has been well studied under power, performance,
and thermal constraints. However, it has been pursued less under security concerns. We …

Traditionally, most real-time systems (RTS) were considered to be invulnerable to security
breaches and external attacks. This was mainly due to the use of proprietary hardware and …

Different from a general-purpose system, a real-time system requires stringent timing
guarantees. While existing offline analysis techniques can provide timing guarantees using …

Security failures in real-time embedded systems can have catastrophic effects and can lead
to injury to (or even loss of life for) humans, damage to the system and also environmental …

Embedded real-time systems (RTS) are pervasive. Many modern RTS are exposed to
unknown security flaws, and threats to RTS are growing in both number and sophistication …

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

Real-Time Systems (RTSs) frequently suffer from memory-corruption attacks. Compared to
general-purpose systems, RTSs differ because of their scheduling requirements. For this …

Covert timing channels in real-time systems allow adversaries to not only exfiltrate
application secrets but also to mount timing inference based attacks. Much effort has been …