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 …

Modern embedded and cyber-physical systems are ubiquitous. Many critical cyber-physical
systems have real-time requirements (eg, avionics, automobiles, power grids, manufacturing …

Attacks on real-time embedded systems can endanger lives and critical infrastructure.
Despite this, techniques for securing embedded systems software have not been widely …

In this work, we focus on securing cyber-physical systems (CPS) in the presence of network-
based attacks, such as Man-in-the-Middle (MitM) attacks, where a stealthy attacker is able to …

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 …

For many embedded systems, such as automotive electronic systems, security has become
a pressing challenge. Limited resources and tight timing constraints often make it difficult to …

We consider the problem of security-aware planning in an unknown stochastic environment,
in the presence of attacks on control signals (ie, actuators) of the robot. We model the …

Defense mechanisms against network-level attacks are commonly based on the use of
cryptographic techniques, such as lengthy message authentication codes (MAC) that …

With the proliferation of safety-critical real-time systems in our daily life, it is imperative that
their security is protected to guarantee their functionalities. To this end, one of the most …

Existing design techniques for providing security guarantees against network-based attacks
in cyber-physical systems (CPS) are based on continuous use of standard cryptographic …