Pinaki Chakaborty, Tristan Caulfield, and David Pym. A Logic for Resource-sensitive Coalition Games. To appear, Proc. GameSec 2025, LNCS, Springer. arXiv.
Pinaki Chakaborty, Tristan Caulfield, and David Pym. Causality and Decision-making: A Logical Framework for Systems and Security Modelling. .
Tristan Caulfield, Marius-Constantin Ilau, and David Pym. Co-designing heterogeneous models: a distributed systems approach. In press, Journal of Cybersecurity, Special Collection on the Philosophy of Information Security, Manuscript.
Albesë Demjaha, David Pym, Tristan Caulfield, and Simon Parkin. The trivial tickets build the trust': A co-design approach to understanding security support interactions in a large university. In press, Journal of Cybersecurity, 2024.
Alexander Gheorghiu, Tao Gu, and David Pym. A note on the practice of logical inferentialism: the state-effect interpretation, definitional reflection, and completeness. 2nd Logic and Philosophy: Historical and Contemporary Issues Conference, Vilnius, Lithuania, May 2024. Manuscript.
David Pym. The Origins of Cyberspace. To appear as Chapter 1 of The Oxford Handbook of Cybersecurity, P. Cornish (editor), December 2021. Manuscript.
David Pym, Jonathan Spring, and Peter O’Hearn. Why Separation Logic Works. Philosophy & Technology 32:483–516, 2019, https://doi.org/10.1007/s13347-018-0312-8. Manuscript.
Jonathan Spring and David Pym. Towards Scientific Incident Response. In: Proc. GameSec 2018, LNCS. Manuscript.
Jonathan Spring, Tyler Moore, and David Pym. Practicing a Science of Security: A Philosophy of Science Perspective. In: NSPW ’17, Oct 1–4, 2017, Santa Cruz, California, USA. ACM, 2017. Manuscript.