Ross Horne

Lutz Straßburger

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

Is Eve nearby? Analysing protocols under the distant-attacker assumption.

[BibT_eX]

[DOI]

Rolando Trujillo-Rasua

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments.

[BibT_eX]

[DOI]

Semen Yurkov

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus.

[BibT_eX]

[DOI]

Clément Aubert

Christian Johansen

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Discovering ePassport Vulnerabilities using Bisimilarity.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2021

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic.

[BibT_eX]

[DOI]

Ki Yung Ahn

Log. Methods Comput. Sci., 2021

Breaking and Fixing Unlinkability of the Key Agreement Protocol for 2nd Gen EMV Payments.

[BibT_eX]

[DOI]

Semen Yurkov

CoRR, 2021

Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom.

[BibT_eX]

[DOI]

Rob van Glabbeek

Peter Höfner

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity.

[BibT_eX]

[DOI]

Mariangiola Dezani-Ciancaglini

Semen Yurkov

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

2020

Global types with internal delegation.

[BibT_eX]

[DOI]

Ilaria Castellani

Paola Giannini

Theor. Comput. Sci., 2020

Logic Beyond Formulas: A Proof System on Graphs.

[BibT_eX]

[DOI]

Matteo Acclavio

Lutz Straßburger

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees.

[BibT_eX]

[DOI]

Dov M. Gabbay

Leendert van der Torre

Proceedings of the Graphical Models for Security - 7th International Workshop, 2020

Session Subtyping and Multiparty Compatibility Using Circular Sequents.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2019

Constructing weak simulations from linear implications for processes with private names.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2019

The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2019, 2019

2018

A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties.

[BibT_eX]

[DOI]

CoRR, 2018

Quasi-Open Bisimilarity with Mismatch is Intuitionistic.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Graphical Models for Security, 2018

2017

Semantics for Specialising Attack Trees based on Linear Logic.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

Generating Witness of Non-Bisimilarity for the pi-Calculus.

[BibT_eX]

[DOI]

Ki Yung Ahn

CoRR, 2017

A Characterisation of Open Bisimulation using an Intuitionistic Modal Logic.

[BibT_eX]

[DOI]

Ki Yung Ahn

CoRR, 2017

2016

A descriptive type foundation for RDF Schema.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2016

Private Names in Non-Commutative Logic.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Concurrency Theory, 2016

SPEC: An Equivalence Checker for Security Protocols.

[BibT_eX]

[DOI]

Nam Nguyen

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

Minimal type inference for Linked Data consumers.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2015

The Consistency and Complexity of Multiplicative Additive System Virtual.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2015

Behavioural Analysis of Sessions Using the Calculus of Structures.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2015

2014

A verified algebra for read-write Linked Data.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Extracting Threshold Conceptual Structures from Web Documents.

[BibT_eX]

[DOI]

Cristian Vaideanu

Proceedings of the Graph-Based Representation and Reasoning, 2014

Descriptive Types for Linked Data Resources.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2014

2013

Local Type Checking for Linked Data Consumers.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, 2013

Non-interleaving Operational Semantics for Geographically Replicated Databases.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

Ensuring Faultless Communication Behaviour in A Commercial Cloud.

[BibT_eX]

[DOI]

Mariangiola Dezani-Ciancaglini

Timur Umarov

Proceedings of the Software Engineering and Formal Methods, 2013

2012

Tracing where and who provenance in Linked Data: A calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

A Provenance Tracking Model for Data Updates

[BibT_eX]

[DOI]

Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

2011

Programming languages and principles for read-write linked data.

[BibT_eX]

[DOI]

PhD thesis, 2011

A Verified Algebra for Linked Data

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011

Operational Semantics for SPARQL Update.

[BibT_eX]

[DOI]