Real-time systems have more and more ways to communicate wirelessly with external
users. These same means can be hijacked to attack these systems, breaking their …

Real-time autonomous systems are becoming pervasive in many application domains such
as vehicular ad-hoc networks, smart factories and delivery drones. The correct functioning of …

Embedded systems are at the core of many security-sensitive and safety-critical
applications, including automotive, industrial control systems, and critical infrastructures …

◮ Some need to run attack code in parallel to the target software◮ Attacker can log in
remotely (ssh)◮ Some attacks work by measuring network delays◮ Attacker does not even …

ARM TrustZone builds a trusted execution environment based on the concept of hardware
separation. It has been quite successful in defending against various software attacks and …

The importance of preventing microarchitectural timing side channels in security-critical
applications has surged immensely over the last several years. Constant-time programming …

The high degree of predictability in real-time systems makes it possible for adversaries to
launch timing inference attacks such as those based on side-channels and covert-channels …

The security claims of a system can be supported or refuted by different kinds of evidence.
On the one hand, attack research uses empirical, experimental, inductive methods to refute …

Trusted Execution Environments (TEEs) play a crucial role in embedded systems, IoT, and
cloud computing. However, their security issues are a major concern, particularly related to …

We propose HYDRA-C, a design-time evaluation framework for integrating monitoring
mechanisms in multicore real-time systems (RTS). Our goal is to ensure that security (or …