David J. Pym

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 65

Top Venues

Publications

Marius-Constantin Ilau, Tristan Caulfield, David J. Pym
Co-designing heterogeneous models: a distributed systems approach. CoRR (2024)
Alexander V. Gheorghiu, Tao Gu, David J. Pym
A Note on the Practice of Logical Inferentialism. CoRR (2024)
Timo Eckhardt, David J. Pym
Base-extension Semantics for Modal Logic. CoRR (2024)
Didier Galmiche, Timo Lang, David J. Pym
Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning. CoRR (2024)
Alexander V. Gheorghiu, Tao Gu, David J. Pym
A Note on an Inferentialist Approach to Resource Semantics. CoRR (2024)
Alexander V. Gheorghiu, Tao Gu, David J. Pym
Inferentialist Resource Semantics. CoRR (2024)
Albesë Demjaha, David J. Pym, Tristan Caulfield, Simon Parkin
'The trivial tickets build the trust': a co-design approach to understanding security support interactions in a large university. J. Cybersecur. 10 (1) (2024)
Alexander V. Gheorghiu, Tao Gu, David J. Pym
Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. TABLEAUX (2023)
Manuela-Luminita Bujorianu, Tristan Caulfield, David J. Pym, Rafael Wisniewski
From MDP to POMDP and Back: Safety and Compositionality. ECC (2023)
Alexander V. Gheorghiu, Tao Gu, David J. Pym
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic. CoRR (2023)
Henry R. K. Skeoch, David J. Pym
Pricing cyber-insurance for systems via maturity models. CoRR (2023)
David J. Pym, Eike Ritter, Edmund Robinson
Categorical Proof-Theoretic Semantics. CoRR (2023)
Tao Gu, Alexander V. Gheorghiu, David J. Pym
Proof-theoretic Semantics for the Logic of Bunched Implications. CoRR (2023)
Alexander V. Gheorghiu, David J. Pym
Semantical Analysis of the Logic of Bunched Implications. Stud Logica 111 (4) (2023)
Alexander V. Gheorghiu, David J. Pym
Defining Logical Systems via Algebraic Constraints on Proofs. CoRR (2023)
Alexander V. Gheorghiu, David J. Pym
Proof-theoretic Semantics and Tactical Proof. CoRR (2023)
Albesë Demjaha, Simon Parkin, David J. Pym
The boundedly rational employee: Security economics for behaviour intervention support in organizations. J. Comput. Secur. 30 (3) (2022)
Alexander V. Gheorghiu, David J. Pym
Negation-as-Failure in the Base-extension Semantics for Intuitionistic Propositional Logic. CoRR (2022)
Alexander V. Gheorghiu, David J. Pym
Semantical Analysis of the Logic of Bunched Implications. CoRR (2022)
Alexander V. Gheorghiu, David J. Pym
From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic. CoRR (2022)
Tristan Caulfield, Marius-Constantin Ilau, David J. Pym
Engineering Ecosystem Models: Semantics and Pragmatics. SimuTools (2021)
Albesë Demjaha, David J. Pym, Tristan Caulfield
Found in Translation: Co-design for Security Modelling. STAST (2021)
Adrian Baldwin, Tristan Caulfield, Marius-Constantin Ilau, David J. Pym
Modelling Organizational Recovery. SimuTools (2021)
Alexander Gheorghiu, Simon Docherty, David J. Pym
Provability in BI's Sequent Calculus is Decidable. CoRR (2021)
Tristan Caulfield, Marius-Constantin Ilau, David J. Pym
Meta-modelling for Ecosystems Security. SimuTools (2021)
Paul Brunet, David J. Pym
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. FSCD (2020)
Albese Demjaha, Tristan Caulfield, M. Angela Sasse, David J. Pym
2 Fast 2 Secure: A Case Study of Post-Breach Security Changes. EuroS&P Workshops (2019)
Simon Docherty, David J. Pym
Stone-Type Dualities for Separation Logics. Log. Methods Comput. Sci. 15 (1) (2019)
Didier Galmiche, Pierre Kimmel, David J. Pym
A substructural epistemic resource logic: theory and modelling applications. J. Log. Comput. 29 (8) (2019)
Paul Brunet, David J. Pym
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. CoRR (2019)
Thomas Cattermole, Simon Docherty, David J. Pym, M. Angela Sasse
Asset-Oriented Access Control: Towards a New IoT Framework. IOT (2019)
David J. Pym
Resource semantics: logic as a modelling technology. ACM SIGLOG News 6 (2) (2019)
Albesë Demjaha, Simon Parkin, David J. Pym
You've Left Me No Choices: Security Economics to Inform Behaviour Intervention Support in Organizations. STAST (2019)
Didier Galmiche, Pierre Kimmel, David J. Pym
A Substructural Epistemic Resource Logic: Theory and Modelling Applications. CoRR (2019)
Christos Ioannidis, David J. Pym, Julian Williams, Iffat Gheyas
Resilience in information stewardship. Eur. J. Oper. Res. 274 (2) (2019)
Simon Docherty, David J. Pym
Modular Tableaux Calculi for Separation Theories. FoSSaCS (2018)
Simon Docherty, David J. Pym
A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics. MFPS (2018)
Jonathan M. Spring, David J. Pym
Towards Scientific Incident Response. GameSec (2018)
Gabrielle Anderson, David J. Pym
Trust domains in system models: algebra, logic, utility, and combinators. J. Log. Comput. 28 (4) (2018)
Simon Docherty, David J. Pym
Intuitionistic Layered Graph Logic: Semantics and Proof Theory. Log. Methods Comput. Sci. 14 (4) (2018)
Didier Galmiche, David J. Pym
Preface. J. Log. Comput. 28 (4) (2018)
Adrian Baldwin, Iffat Gheyas, Christos Ioannidis, David J. Pym, Julian Williams
Contagion in cyber security attacks. J. Oper. Res. Soc. 68 (7) (2017)
Simon Docherty, David J. Pym
Intuitionistic Layered Graph Logic. IJCAI (2017)
Gabrielle Anderson, David J. Pym
A Substructural Modal Logic of Utility. J. Log. Comput. 27 (5) (2017)
Fredrik Dahlqvist, David J. Pym
Coalgebraic completeness-via-canonicity for distributive substructural logics. J. Log. Algebraic Methods Program. 93 (2017)
Simon Docherty, David J. Pym
Stone-Type Dualities for Separation Logics. CoRR (2017)
Tristan Caulfield, Christos Ioannidis, David J. Pym
The U.S. Vulnerabilities Equities Process: An Economic Perspective. GameSec (2017)
Didier Galmiche, Pierre Kimmel, David J. Pym
A Substructural Epistemic Resource Logic. ICLA (2017)
Simon Docherty, David J. Pym
Intuitionistic Layered Graph Logic: Semantics and Proof Theory. CoRR (2017)
Jonathan M. Spring, Tyler Moore, David J. Pym
Practicing a Science of Security: A Philosophy of Science Perspective. NSPW (2017)
Matthew Collinson, Kevin McDonald, David J. Pym
Layered graph logic as an assertion language for access control policy models. J. Log. Comput. 27 (1) (2017)
Matthew Collinson, Kevin McDonald, Simon Docherty, David J. Pym
Erratum to: A substructural logic for layered graphs. J. Log. Comput. 27 (1) (2017)
Tristan Caulfield, Christos Ioannidis, David J. Pym
On the Adoption of Privacy-enhancing Technologies. GameSec (2016)
Simon Docherty, David J. Pym
Intuitionistic Layered Graph Logic. IJCAR (2016)
Gabrielle Anderson, David J. Pym
A calculus and logic of bunched resources and processes. Theor. Comput. Sci. 614 (2016)
Jean-René Courtault, Didier Galmiche, David J. Pym
A logic of separating modalities. Theor. Comput. Sci. 637 (2016)
Tyler Moore, David J. Pym
Editorial. J. Cybersecur. 2 (2) (2016)
Tristan Caulfield, Christos Ioannidis, David J. Pym
Discrete Choice, Social Interaction, and Policy in Encryption Technology Adoption (Short Paper). Financial Cryptography (2016)
Gabrielle Anderson, Guy McCusker, David J. Pym
A Logic for the Compliance Budget. GameSec (2016)
Tyler Moore, David J. Pym, Michel van Eeten
Introduction. J. Cybersecur. 2 (1) (2016)
Tyler Moore, David J. Pym
Welcome from the Editors-in-Chief. J. Cybersecur. 1 (1) (2015)
Tristan Caulfield, David J. Pym
Modelling and simulating systems security policy. SimuTools (2015)
Tristan Caulfield, David J. Pym
Improving Security Policy Decisions with Models. IEEE Secur. Priv. 13 (5) (2015)
Fredrik Dahlqvist, David J. Pym
Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective. RAMiCS (2015)
Fredrik Dahlqvist, David J. Pym
Completeness via canonicity for distributive substructural logics: a coalgebraic perspective. CoRR (2015)
Matthew Collinson, Kevin McDonald, David J. Pym
A substructural logic for layered graphs. J. Log. Comput. 24 (4) (2014)
David J. Pym, Eike Ritter, Edmund Robinson
A proof-theoretic analysis of the classical propositional matrix method. J. Log. Comput. 24 (1) (2014)
Tristan Caulfield, David J. Pym, Julian Williams
Compositional Security Modelling - Structure, Economics, and Behaviour. HCI (24) (2014)
Gabrielle Anderson, Matthew Collinson, David J. Pym
Utility-based Decision-making in Distributed Systems Modelling. CoRR (2013)
Gabrielle Anderson, Matthew Collinson, David J. Pym
Trust Domains: An Algebraic, Logical, and Utility-Theoretic Approach. TRUST (2013)
Bob Duncan, David J. Pym, Mark Whittington
Developing a Conceptual Framework for Cloud Security Assurance. CloudCom (2) (2013)
Gabrielle Anderson, Matthew Collinson, David J. Pym
Utility-based Decision-making in Distributed Systems Modelling. TARK (2013)
Adrian Baldwin, Iffat Gheyas, Christos Ioannidis, David J. Pym, Julian Williams
Contagion in Cybersecurity Attacks. WEIS (2012)
Christos Ioannidis, David J. Pym, Julian Williams
Information security trade-offs and optimal patching policies. Eur. J. Oper. Res. 216 (2) (2012)
Matthew Collinson, David J. Pym, Barry Taylor
A Framework for Modelling Security Architectures in Services Ecosystems. ESOCC (2012)
Adrian Baldwin, David J. Pym, Martin Sadler, Simon Shiu
Information Stewardship in Cloud Ecosystems: Towards Models, Economics, and Delivery. CloudCom (2011)
Christos Ioannidis, David J. Pym, Julian Williams
Fixed Costs, Investment Rigidities, and Risk Aversion in Information Security: A Utility-theoretic Approach. WEIS (2011)
Christos Ioannidis, David J. Pym, Julian Williams
Fixed Costs, Investment Rigidities, and Risk Aversion in Information Security: A Utility-theoretic Approach. WEIS (Springer Volume) (2011)
Adam Beautement, David J. Pym
Structured Systems Economics for Security Management. WEIS (2010)
Matthew Collinson, David J. Pym
Erratum to: Algebra and logic for access control. Formal Aspects Comput. 22 (3-4) (2010)
David J. Pym, Martin Sadler
Information Stewardship in Cloud Computing. Int. J. Serv. Sci. Manag. Eng. Technol. 1 (1) (2010)
Matthew Collinson, David J. Pym
Algebra and logic for access control. Formal Aspects Comput. 22 (2) (2010)
David J. Pym
Modal Location-Resource-Process Logic for Access Control. LAM@LICS (2010)
Matthew Collinson, Brian Monahan, David J. Pym
Semantics for structured systems modelling and simulation. SimuTools (2010)
Matthew Collinson, Brian Monahan, David J. Pym
A Logical and Computational Theory of Located Resource. J. Log. Comput. 19 (6) (2009)
Christos Ioannidis, David J. Pym, Julian Williams
Investments and Trade-offs in the Economics of Information Security. Financial Cryptography (2009)
Matthew Collinson, David J. Pym
Algebra and logic for resource-based systems modelling. Math. Struct. Comput. Sci. 19 (5) (2009)
Adam Beautement, Robert Coles, Jonathan Griffin, Christos Ioannidis, Brian Monahan, David J. Pym, M. Angela Sasse, Mike Wonham
Modelling the Human and Technological Costs and Benefits of USB Memory Stick Security. WEIS (2008)
Matthew Collinson, David J. Pym, Edmund Robinson
Bunched polymorphism. Math. Struct. Comput. Sci. 18 (6) (2008)
Carsten Führmann, David J. Pym
On categorical models of classical logic and the Geometry of Interaction. Math. Struct. Comput. Sci. 17 (5) (2007)
David J. Pym, Chris M. N. Tofts
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic. Electron. Notes Theor. Comput. Sci. 172 (2007)
Guy McCusker, David J. Pym
A Games Model of Bunched Implications. CSL (2007)
Jonathan Griffin, Brian Monahan, David J. Pym, Mike Wonham, Mike Yearworth
Assessing the Value of Investments in Network Security Operations: A Systems Analytics Approach. WEIS (2007)
Matthew Collinson, David J. Pym, Chris M. N. Tofts
(2006) 18: 495-517 and their consequences. Formal Aspects Comput. 19 (4) (2007)
Jean Paul Degabriele, David J. Pym
Economic aspects of a utility computing service. GridNets (2007)
Matthew Collinson, David J. Pym
Bunching for Regions and Locations. MFPS (2006)
David J. Pym, Chris M. N. Tofts
A Calculus and logic of resources and processes. Formal Aspects Comput. 18 (4) (2006)
David J. Pym
Editorial. J. Log. Comput. 16 (1) (2006)
Matthew Collinson, David J. Pym, Edmund Robinson
On Bunched Polymorphism. CSL (2005)
David J. Pym
Editorial. J. Log. Comput. 15 (6) (2005)

David J. Pym.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David J. Pym