In recent years, cybersecurity has received increasing attention due to the demand from a
large class of networked systems for resilience against cyberattacks that may compromise …

In this paper we tackle the opacity enforcement problem in discrete event systems using
supervisory control theory. In particular, we consider the case where the intruder and the …

A system is said to be opaque if an intruder that observes its evolution through a mask
cannot infer that the system's evolution belongs to a given secret behavior. Opacity …

The problem of stealthy attacks for partially-observed discrete event systems is considered.
An operator observes the plant through an observation mask that does not allow him to …

The problem of state estimation in the setting of partially-observed discrete event systems
subject to cyber attacks is considered. An operator observes a plant through a natural …

In the control of discrete-event systems for current-state opacity enforcement, it is difficult to
synthesize a supervisor by supervisory control theory (SCT) without explicit formal models of …

Supervisory control as a way how to guarantee security of processes is discussed and
studied. We work with a security property called processes opacity and we investigate how it …

In our rapidly evolving technological landscape, safeguarding systems against cyber threats
is imperative. This dissertation, part of the Master's program in Informatics Security, focuses …

Formal definitions of state-based and language-based security with respect to timing attacks
are proposed and studied. Then various ways how to secure systems with respect to such …

Since the 90's, automatic systems take a growing place into our everyday lives. It might be
embedded systems, such as in robotic, automotive or avionic systems, telecommunication or …