Physical plants that form the core of the Cyber-Physical Systems (CPS) often have stringent
safety requirements. Recent attacks have shown that cyber intrusions can result in the safety …

Attack trees (ATs) are a popular formalism for security analysis, and numerous variations
and tools have been developed around them. These were mostly developed independently …

Risk assessment of cyber-physical systems, such as power plants, connected devices and IT-
infrastructures has always been challenging: safety (ie, absence of unintentional failures) …

Cyber-Physical Systems (CPS) are safety critical as they can be at risk for their users and
environment. It is thus paramount to assess all risks related to their use, including the risks of …

Cyber breaches have grown exponentially over the years, both in the number of incidents
and in damage. Examples of such damaging attacks are numerous, with WannaCry …

Many physical plants that are controlled by embedded systems have safety requirements
that need to be respected at all times-any deviations from expected behavior can result in …

We introduce a formal specification language LOCKS, that allow security practitioners to
express as well as compose security goals in a convenient manner. LOCKS supports the …

The widespread adoption of e-commerce and its lucrative, decentralized, multi-agent nature
have made these systems vulnerable to cyber-attacks. Traditional signature-based …

Abstract The Ph. D. thesis “State Space Reductions for Multi-agent Systems”, written under
the supervision of Prof. Wojciech Penczek, discusses several approaches to mitigating the …

As cyber-physical systems become more and more complex, human debugging is not
sufficient anymore to cover the huge range of possible behaviours. For costly critical systems …