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 …

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

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 …