Current Drafts and Recent Papers

  1. T. Caulfield, M.-C. Ilau, and D. Pym. Engineering Ecosystem Models: Semantics and Pragmatics. To appear, Proc. 13th SIMUtools 2021. Springer, 2021. Manuscript.

  2. T. Caulfield, M.-C. Ilau, and D. Pym. Meta-modelling for Ecosystems Security. To appear, Proc. 13th SIMUtools 2021. Springer, 2021. Manuscript.

  3. A. Baldwin, T. Caulfield, M.-C. Ilau, and D. Pym. Modelling Organizational Recovery. To appear, Proc. 13th SIMUtools 2021. Springer, 2021. Manuscript.

  4. A. Demjaha, D. Pym, and T. Caulfield. Found in Translation: Co-design for Security Modelling. To appear, Proc. 11th STAST 2021. Springer, 2021. Manuscript.

  5. Alexander Gheorghiou and David Pym. Generalizing Rules via Algebraic Constraints. Manuscript.

  6. Alexander Gheorghiou, Simon Docherty, and David Pym. Provability in BI's Sequent Calculus is Decidable. Working draft.

  7. Alexander Gheorghiou, Simon Docherty, and David Pym. Reductive Logic, Proof-search, and Coalgebra: A Perspective from Resource Semantics. Revised version to appear, Samson Abramsky on Logic and Structure in Computer Science and Beyond, Alessandra Palmigiano and Mehrnoosh Sadrzadeh (editors), Outstanding Contributions to Logic, Springer, 2021. Manuscript.

  8. David Pym and Will Venters. Modelling interfaces in the decentralized Internet of Things. To appear: Proc. ICIS, 2020. Manuscript.

  9. Diana Costa, James Brotherston, and David Pym. Graph Decomposition and Local Reasoning. Draft. Manuscript.

  10. Paul Brunet and David Pym. Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. FSCD 2020 version and arXiv version.

  11. Didier Galmiche, Pierre Kimmel, and David Pym. A Substructural Epistemic Resource Logic: Theory and Modelling Applications. Journal of Logic and Computation, 29(8), 1251-1287, 2019. Published: 19 January 2020. Manuscript.

  12. David Pym. Resource semantics: logic as a modelling technology. ACM SIGLOG News, April 2019, Vol. 6, No. 2, 5-41. Manuscript.

  13. David Pym. Reductive logic & proof-theoretic semantics: a coalgebraic perspective. To appear: Proc. Proof-theoretic Semantics: Assessment and Future Perspectives, P. Schröder-Heister and T. Piecha (editors), Third Tübingen Conference on Proof-theoretic Semantics, 27-30 March 2019. Manuscript.

  14. Albesë Demjaha, Simon Parkin, and David Pym. You’ve left me no choices: Security economics to inform behaviour intervention support in organizations. To appear: Proc. 9th Workshop on Socio-technical Aspects in Security, Luxembourg City, 2019. LNCS, 2019, Springer. Recipient of 'Best Paper' award. Manuscript.

  15. C. Ioannidis, D. Pym, J. Williams, and I. Gheyas. Resilience in Information Stewardship. European Journal of Operational Research 274(2), 638-653, April 2019. Manuscript.

  16. Albesë Demjaha, Tristan Caulfield, M. Angela Sasse, and David Pym. 2 Fast 2 Secure: A Study of Post-Breach Security Changes. In: Proc. 4th European Workshop on Usable Security, EuroUSEC 2019, IEEE 2019. Stockholm, Sweden, June 20, 2019. To appear: IEEE Xplore. Manuscript.

  17. Simon Docherty and David Pym. Resource Reasoning in Duality-theoretic Form: Stone-type Dualities for Bunched and Separation Logics. Proc. Topology, Algebra and Categories in Logic (TACL) 2019. Manuscript.

  18. David Pym. The Origins of Cyberspace. To appear as Chapter 1 of The Oxford Handbook of Cybersecurity, P. Cornish (editor). Manuscript.

  19. Thomas Cattermole, Simon Docherty, David Pym, and Angela Sasse. Asset-oriented access control through object-oriented principles. Manuscript.

  20. Simon Docherty and David Pym. STONE-TYPE DUALITIES FOR SEPARATION LOGICS. To appear: Logical Methods in Computer Science. Manuscript.

  21. Simon Docherty and David Pym. Intuitionistic Layered Graph Logics: Semantics and Proof Theory. To appear: Logical Methods in Computer Science. Manuscript.

  22. Jonathan Spring and David Pym. Towards Scientific Incident Analysis. To appear, Proc. GameSec 2018, LNCS. Manuscript.

  23. Tristan Caulfield, Christos Ioannidis, and David Pym. Dynamic Pricing for Ransomware. Working draft: Manuscript.

  24. Simon Docherty and David Pym. Modular Tableaux Calculi for Separation Theories. To appear: Proc. FOSSACS 2018. Manuscript.

  25. Jonathan Spring, Tyler Moore, and David Pym. Practicing a Science of Security: A Philosophy of Science Perspective. To appear NSPW ’17, Oct 1–4, 2017, Santa Cruz, California, USA. ACM, 2017. Manuscript.

  26. David Pym, Jonathan Spring, and Peter O’Hearn. Why Separation Logic Works. Philos. Technol. (2018). Manuscript.

  27. Tristan Caulfield, Michelle Baddeley, and David Pym. Social Learning in Systems Security Modelling. In Social Simulation Conference, 2016. Manuscript.