In view of the growing complexity of modern software architectures, formal models are
increasingly used to understand why a system works the way it does, opposed to simply …

A new approach for defining causality and such related notions as degree of responsibility,
degrees of blame, and causal explanation. Causality plays a central role in the way people …

Important decisions about people are increasingly made by algorithms: Votes are counted;
voter rolls are purged; financial aid decisions are made; taxpayers are chosen for audits; air …

Actual causation is concerned with the question:“What caused what?” Consider a transition
between two states within a system of interacting elements, such as an artificial neural …

Accountability is an often called for property of technical systems. It is a requirement for
algorithmic decision systems, autonomous cyber-physical systems, and for software systems …

Counterfactual reasoning is an approach to infer what causes an observed effect by
analyzing the hypothetical scenarios where a suspected cause is not present. The seminal …

Actual causality and a closely related concept of responsibility attribution are central to
accountable decision making. Actual causality focuses on specific outcomes and aims to …

Blame attribution is one of the key aspects of accountable decision making, as it provides
means to quantify the responsibility of an agent for a decision making outcome. In this paper …

Accountability is a recent paradigm in security protocol design which aims to eliminate
traditional trust assumptions on parties and hold them accountable for their misbehavior. It is …

Rigorous cryptographic security analysis plays an important role in the design of modern e-
voting systems by now. There has been huge progress in this field in the last decade or so in …