We view Multi-Level Secure (MLS) real-time systems as systems in which MLS real-time
tasks are scheduled and execute, according to a scheduling algorithm employed by the …

Real-Time systems are defined not only by their logical correctness but also timeliness.
Modern real-time systems, such as those controlling industrial plants or the flight controller …

ARM TrustZone is a system-on-chip security solution that provides hardware guarantees to
isolate the untrusted applications running in the normal world from sensitive computation …

Timing predictability is a precondition for successful communication over a covert timing
channel. Real-time systems are particularly vulnerable to timing channels because real-time …

With the emergence of Internet of Things, mobile devices are generating more network traffic
than ever. TrustZone is a hardware-enabled trusted execution environment for ARM …

While trusted execution environments (TEEs) provide industry standard security and
isolation, TEE requests through secure monitor calls (SMCs) attribute to large time overhead …

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

Modern cyber-physical systems (CPSs) consist of numerous control units interconnected by
communication networks. Each control unit is responsible for executing possibly multiple …

Embedded and real-time devices in many domains are increasingly dependent on network
connectivity. The ability to offload computations encourages Cost, Size, Weight and Power …

In this paper, we establish the importance of trusted time for the safe and correct operation of
various applications. There are, however, challenges in securing time against hardware …