Ross Horne

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 46

Top Venues

CoRR

CONCUR

J. Log. Algebraic Methods Program.

Theor. Comput. Sci.

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. Sci. Comput. Program. 232 (2024)
Ross Horne, Luca Padovani
A logical account of subtyping for session types. J. Log. Algebraic Methods Program. 141 (2024)
Christoph H.-J. Braun, Ross Horne, Tobias Käfer, Sjouke Mauw
SSI, from Specifications to Protocol? Formally Verify Security! WWW (2024)
Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz
Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation. CoRR (2024)
Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov
Provably Unlinkable Smart Card-based Payments. CoRR (2023)
Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov
Provably Unlinkable Smart Card-based Payments. CCS (2023)
Ross Horne, Sjouke Mauw, Andrzej Mizera, André Stemper, Jan Thoemel
Anomaly Detection Using Deep Learning Respecting the Resources on Board a CubeSat. J. Aerosp. Inf. Syst. 20 (12) (2023)
Ross Horne, Luca Padovani
A Logical Account of Subtyping for Session Types. CoRR (2023)
Ross Horne, Sjouke Mauw, Semen Yurkov
-calculus. Theor. Comput. Sci. 959 (2023)
Christian Esposito, Ross Horne, Livio Robaldo, Bart Buelens, Elfi Goesaert
Assessing the Solid Protocol in Relation to Security and Privacy Obligations. Inf. 14 (7) (2023)
Andrei Alexandru, Bogdan Aman, Ross Horne
Theories of life and computation: Special issue on the occasion of the 65th birthday of Professor Gabriel Ciobanu. Theor. Comput. Sci. 926 (2022)
Clément Aubert, Ross Horne, Christian Johansen
Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. CONCUR (2022)
Clément Aubert, Ross Horne, Christian Johansen
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus. EXPRESS/SOS (2022)
Christian Esposito, Olaf Hartig, Ross Horne, Chang Sun
Assessing the Solid Protocol in Relation to Security & Privacy Obligations. CoRR (2022)
Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. FORTE (2022)
Matteo Acclavio, Ross Horne, Lutz Straßburger
An Analytic Propositional Proof System on Graphs. Log. Methods Comput. Sci. 18 (4) (2022)
Ross Horne, Sjouke Mauw, Semen Yurkov
Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments. CSF (2022)
Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straßburger
A Graphical Proof Theory of Logical Time. FSCD (2022)
Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Alwen Tiu, Rolando Trujillo-Rasua
Is Eve nearby? Analysing protocols under the distant-attacker assumption. CSF (2022)
Ross Horne, Sjouke Mauw, Semen Yurkov
Breaking and Fixing Unlinkability of the Key Agreement Protocol for 2nd Gen EMV Payments. CoRR (2021)
Ki Yung Ahn, Ross Horne, Alwen Tiu
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. Log. Methods Comput. Sci. 17 (3) (2021)
Rob van Glabbeek, Peter Höfner, Ross Horne
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. CoRR (2021)
Ross Horne, Sjouke Mauw
Discovering ePassport Vulnerabilities using Bisimilarity. Log. Methods Comput. Sci. 17 (2) (2021)
Ross Horne, Sjouke Mauw, Semen Yurkov
Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity. ICTAC (2021)
Rob van Glabbeek, Peter Höfner, Ross Horne
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. LICS (2021)
Dov M. Gabbay, Ross Horne, Sjouke Mauw, Leendert van der Torre
Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees. GraMSec@CSF (2020)
Ross Horne, Sjouke Mauw
Discovering ePassport Vulnerabilities using Bisimilarity. CoRR (2020)
Matteo Acclavio, Ross Horne, Lutz Straßburger
An Analytic Propositional Proof System on Graphs. CoRR (2020)
Matteo Acclavio, Ross Horne, Lutz Straßburger
Logic Beyond Formulas: A Proof System on Graphs. LICS (2020)
Ross Horne
Session Subtyping and Multiparty Compatibility Using Circular Sequents. CONCUR (2020)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne
Global types with internal delegation. Theor. Comput. Sci. 807 (2020)
Ross Horne
The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic. FSCD (2019)
Ross Horne, Alwen Tiu
Constructing weak simulations from linear implications for processes with private names. Math. Struct. Comput. Sci. 29 (8) (2019)
Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic. ACM Trans. Comput. Log. 20 (4) (2019)
Ihor Filimonov, Ross Horne, Sjouke Mauw, Zach Smith
Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity. ESORICS (1) (2019)
Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu
Quasi-Open Bisimilarity with Mismatch is Intuitionistic. LICS (2018)
Ross Horne
A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties. CoRR (2018)
Ross Horne, Sjouke Mauw, Alwen Tiu
The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement. GraMSec@FLoC (2018)
Ki Yung Ahn, Ross Horne, Alwen Tiu
Generating Witness of Non-Bisimilarity for the pi-Calculus. CoRR (2017)
Ross Horne, Sjouke Mauw, Alwen Tiu
Semantics for Specialising Attack Trees based on Linear Logic. Fundam. Informaticae 153 (1-2) (2017)
Ki Yung Ahn, Ross Horne, Alwen Tiu
A Characterisation of Open Bisimulation using an Intuitionistic Modal Logic. CoRR (2017)
Ki Yung Ahn, Ross Horne, Alwen Tiu
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. CONCUR (2017)
Alwen Tiu, Nam Nguyen, Ross Horne
SPEC: An Equivalence Checker for Security Protocols. APLAS (2016)
Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
Private Names in Non-Commutative Logic. CONCUR (2016)
Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
A descriptive type foundation for RDF Schema. J. Log. Algebraic Methods Program. 85 (5) (2016)
Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
Private Names in Non-Commutative Logic. CoRR (2016)
Gabriel Ciobanu, Ross Horne
Behavioural Analysis of Sessions Using the Calculus of Structures. Ershov Memorial Conference (2015)
Ross Horne
The Consistency and Complexity of Multiplicative Additive System Virtual. Sci. Ann. Comput. Sci. 25 (2) (2015)
Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
Minimal type inference for Linked Data consumers. J. Log. Algebraic Methods Program. 84 (4) (2015)
Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
Descriptive Types for Linked Data Resources. Ershov Memorial Conference (2014)
Gabriel Ciobanu, Ross Horne, Cristian Vaideanu
Extracting Threshold Conceptual Structures from Web Documents. ICCS (2014)
Ross Horne, Vladimiro Sassone
A verified algebra for read-write Linked Data. Sci. Comput. Program. 89 (2014)
Gabriel Ciobanu, Ross Horne
Non-interleaving Operational Semantics for Geographically Replicated Databases. SYNASC (2013)
Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
Local Type Checking for Linked Data Consumers. WWV (2013)
Ross Horne, Timur Umarov
Ensuring Faultless Communication Behaviour in A Commercial Cloud. SEFM Workshops (2013)
Mariangiola Dezani-Ciancaglini, Ross Horne, Vladimiro Sassone
Tracing where and who provenance in Linked Data: A calculus. Theor. Comput. Sci. 464 (2012)
Gabriel Ciobanu, Ross Horne
A Provenance Tracking Model for Data Updates FOCLASA (2012)
Ross Horne, Vladimiro Sassone
A Verified Algebra for Linked Data FOCLASA (2011)
Ross Horne, Vladimiro Sassone, Nicholas Gibbins
Operational Semantics for SPARQL Update. JIST (2011)

Ross Horne.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ross Horne