Since fault injection attack can be utilized to corrupt the data or deduce the secret key of
sensitive information, we approach the fault detection design of confidential real-time …

In this paper, we are interested in the design of real-time applications with security, safety,
timing, and energy requirements. The applications are scheduled with cyclic scheduling …

Co-verification of reliability and confidentiality is a necessary process for safety-and security-
critical applications. While these two objectives are conflicting, preassignment has emerged …

Today, it is common knowledge in the cyber-physical systems domain that the tight
interaction between the cyber and physical elements provides the possibility of substantially …

In this paper we consider distributed real-time embedded systems in which confidentiality of
the internal communication is critical. We present an approach to efficiently implement …

Designing energy-efficient applications has become of critical importance for embedded
systems, especially for battery-powered systems. Additionally, the emerging requirements …

Confidentiality-Specific Faults (CSFs) will put cyber physical systems in threat, since they
can result in corrupted information or even retrieve the cryptographic key of security-critical …

Today, security can no longer be treated as a secondary issue in embedded and cyber-
physical systems. Therefore, one of the main challenges in these domains is the design of …

In this paper we are interested in securitysensitive mixed-criticality real-time systems.
Existing researches on mixed-criticality systems usually are safety-oriented, which seriously …

Security in Cyber-Physical Systems (CPS) has become a serious concern owing to the rapid
adoption of technologies such as plug-and-play connectivity, robotics and remote …