This paper presents a method for detecting cyber-attacks in cyber-physical systems using a
monitor. The method employs an abstract model called Tiny Twin, which is built at design …

We propose CRYSTAL framework for automated cybersecurity assurance of cyber-physical
systems (CPS) at design-time and runtime. We build attack models and apply formal …

Abstract Cyber-Physical Systems, such as Autonomous Vehicles (AVs), are operating with
high-levels of autonomy allowing them to carry out safety-critical missions with limited …

We propose a method to detect attacks on sensors and controllers in cyber-physical
systems. We develop a monitor that uses an abstract digital twin, Tiny Twin, to detect false …

Software systems are complicated, and the scientific and engineering methodologies for
software development are relatively young. Cyber-physical systems are now in every corner …

Industrial control systems (ICSs) are types of cyber-physical systems in which programs,
written in languages such as ladder logic or structured text, control industrial processes …

Given the complexity of cyber-physical systems (CPS), such as swarms of drones, often
deviations, from a planned mission or protocol, occur which may in some cases lead to harm …

This paper focuses on security by design for smart city systems. Insecure smart city systems
may cause serious losses to the social, environmental and economic development of smart …

The rapid progress of autonomous vehicles (AVs) has brought the prospect of a driverless
future closer than ever. Recent fatalities, however, have emphasized the importance of …

People provide their information to distributed systems to receive the desired services. This
information may be disclosed to the agents of the system as part of messages transmitted …