In this paper, we propose a framework called Contego-TEE to secure Internet-of-Things (IoT)
edge devices with timing requirements from control spoofing attacks where 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 …

With the advent of the Internet of Things (IoT) and Cyber Physical Systems (CPS),
embedded devices have been gaining importance in our daily lives, as well as industrial …

System designers are often faced with a huge variety of alternative hardware platforms and
architectures, when designing new products. Especially the various options for allocating a …

Designing secure systems is a complex task, particularly for designers who are no security
experts. Cyber security plays a key role in embedded systems, especially for the domain of …

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 …

This dissertation explores several challenges that plague the hardware-software co-design
of popular resource constrained real-time embedded systems. We specifically tackle existing …

Modern embedded real-time systems are increasingly interconnected with a multitude of
sensory devices, other embedded systems, and the cloud. The adoption of high-end …