In recent years, Moving Target Defense (MTD) has emerged as a potential game changer in
the security landscape, due to its potential to create asymmetric uncertainty that favors the …

The increasing number of cyber attacks against critical infrastructures, which typically
require large state and long system lifetimes, necessitates the design of systems that are …

Authentication and authorization are two of the most important services for any IT
infrastructure. Taking into account the current state of affairs of cyber warfare, the security …

Component-level heterogeneous redundancy is gaining popularity as an approach for
preventing single-point security breaches in Industrial Control Systems (ICSs), especially …

This paper offers a new approach to modelling the effect of cyber-attacks on reliability of
software used in industrial control applications. The model is based on the view that …

This paper considers the estimation of reliability and availability of intrusion-tolerant systems
subject to non-detectable intrusions caused by stealth attacks. We observe that typical …

Time-triggered real-time systems achieve deterministic behaviour, making them suitable for
safety-critical environments. However, this determinism also allows attackers to finetune …

Time-triggered real-time systems achieve deterministic behavior using schedules that are
constructed offline, based on scheduling constraints. Their deterministic behavior makes …

The Computer Security Division at the National Institute of Standards and Technology (NIST)
is taking steps towards the standardization of threshold schemes for cryptographic …

Web services are a core component behind many of our daily tasks. The ability for
developers to create applications that are accessible from a range of devices across the …