2 papers
cs.LO2025
Causality and Decision-making: A Logical Framework for Systems and Security Modelling
Pinaki Chakraborty, Tristan Caulfield, David Pym
Causal reasoning is essential for understanding decision-making about the behaviour of complex `ecosystems' of systems that underpin modern society, with security -- including issu…
cs.SE2024
Co-designing heterogeneous models: a distributed systems approach
Marius-Constantin Ilau, Tristan Caulfield, David Pym
The nature of information security has been, and probably will continue to be, marked by the asymmetric competition of attackers and defenders over the control of an uncertain envi…