A common mechanism for ensuring that software behaves securely is to monitor programs at
run time and check that they dynamically adhere to constraints specified by a security policy …

In this paper, we introduce a design methodology to develop reliable and secure industrial
control systems (ICSs) based on the behavior of their computational resources (ie …

Runtime enforcement is a dynamic analysis technique that uses monitors to enforce the
behaviour specified by some correctness property on an executing system. The …

Module checking is a decision problem proposed in late 1990s to formalize verification of
open systems, ie, systems that must adapt their behavior to the input they receive from the …

Two decision problems are very close in spirit: module checking of CTL/CTL* and model
checking of ATL/ATL*. The latter appears to be a natural multi-agent extension of the former …

This paper presents a general theory of event compensation as an information flow security
enforcement mechanism for Cyber-Physical Systems (CPSs). The fundamental research …

In Augmented Reality (AR), careless augmentations can easily lead to information overflow.
Especially on small screen devices, only a limited amount of information can be displayed …

Runtime enforcement is a dynamic analysis technique that uses monitors to enforce the
behaviour specified by some correctness property on an executing system. The …

A security policy of an information system is a set of security requirements that correspond to
permissions, prohibitions and obligations to execute some actions when some contextual …

Abstract Cyber-Physical Systems (CPSs) combine computational and physical components
enabling real-world interaction. Digitization, decentralization, and high connectivity, as well …