The pervasive interconnection of systems throughout the world has given computer services
a significant socioeconomic value that both accidental faults and malicious activity can …

Large scale distributed systems typically have interactions among different services that
create an avenue for propagation of a failure from one service to another. The failures being …

State machine replication (SMR) is a generic technique for implementing fault-tolerant
distributed services by replicating them in sets of servers. There have been several …

We consider availability models of an intrusion tolerant system, and investigate quantitative
effects of preventive maintenance based on security patch releases. The stochastic behavior …

The cloud has become an established and widespread paradigm. This success is due to the
gain of flexibility and savings provided by this technology. However, the main obstacle to full …

Many institutions rely on open systems to provide services to the public via the Internet.
Unanticipated software vulnerabilities expose such services to malicious actors, and make …

Cybersecurity is one of the most pressing technological challenges of our time and requires
measures from all sectors of society. A key measure is automated security response, which …

In this paper we quantitatively evaluate the security of intrusion tolerant systems with
preventive maintenance subject to DoS (Denial of Service) attacks. More specifically, we …

The detection of attacks and intrusions based on anomalies is hampered by the limits of
specificity underlying the detection techniques. However, in the case of many critical …

The authors describe the formal environment at Kesteral for synthesizing programs. The
authors show that straightforward formalization, persistently applied at all levels of system …