default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRoss Horne
Person information
- affiliation: University of Strathclyde, UK
- affiliation (former): University of Luxembourg
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j18]Ross Horne
, Luca Padovani:
A logical account of subtyping for session types. J. Log. Algebraic Methods Program. 141: 100986 (2024)- [j17]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: 103046 (2024) - [c31]Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz:
Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation. CSF 2024: 112-126 - [c30]Christoph H.-J. Braun, Ross Horne, Tobias Käfer, Sjouke Mauw:
SSI, from Specifications to Protocol? Formally Verify Security! WWW 2024: 1620-1631 - [i11]Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz:
Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation. CoRR abs/2405.12187 (2024) - 2023
- [j16]Christian Esposito, Ross Horne, Livio Robaldo, Bart Buelens, Elfi Goesaert:
Assessing the Solid Protocol in Relation to Security and Privacy Obligations. Inf. 14(7): 411 (2023) - [j15]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): 859-872 (2023) - [j14]Ross Horne, Sjouke Mauw, Semen Yurkov:
When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied π-calculus. Theor. Comput. Sci. 959: 113842 (2023) - [c29]Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov:
Provably Unlinkable Smart Card-based Payments. CCS 2023: 1392-1406 - [c28]Ross Horne, Luca Padovani:
A Logical Account of Subtyping for Session Types. PLACES@ETAPS 2023: 26-37 - [i10]Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov:
Provably Unlinkable Smart Card-based Payments. CoRR abs/2309.03128 (2023) - 2022
- [j13]Matteo Acclavio, Ross Horne, Lutz Straßburger:
An Analytic Propositional Proof System on Graphs. Log. Methods Comput. Sci. 18(4) (2022) - [j12]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: 1-2 (2022) - [c27]Clément Aubert, Ross Horne, Christian Johansen:
Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. CONCUR 2022: 30:1-30:26 - [c26]Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Alwen Tiu, Rolando Trujillo-Rasua:
Is Eve nearby? Analysing protocols under the distant-attacker assumption. CSF 2022: 17-32 - [c25]Ross Horne, Sjouke Mauw, Semen Yurkov:
Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments. CSF 2022: 364-379 - [c24]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: 11-30 - [c23]Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straßburger:
A Graphical Proof Theory of Logical Time. FSCD 2022: 22:1-22:25 - [c22]Clément Aubert, Ross Horne, Christian Johansen:
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus. EXPRESS/SOS 2022: 3-22 - [i9]Christian Esposito, Olaf Hartig, Ross Horne, Chang Sun:
Assessing the Solid Protocol in Relation to Security & Privacy Obligations. CoRR abs/2210.08270 (2022) - 2021
- [j11]Ross Horne, Sjouke Mauw:
Discovering ePassport Vulnerabilities using Bisimilarity. Log. Methods Comput. Sci. 17(2): 24 (2021) - [j10]Ki Yung Ahn, Ross Horne, Alwen Tiu:
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. Log. Methods Comput. Sci. 17(3) (2021) - [c21]Ross Horne, Sjouke Mauw, Semen Yurkov:
Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity. ICTAC 2021: 235-255 - [c20]Rob van Glabbeek, Peter Höfner, Ross Horne:
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. LICS 2021: 1-13 - [i8]Rob van Glabbeek, Peter Höfner, Ross Horne:
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. CoRR abs/2104.14226 (2021) - [i7]Ross Horne, Sjouke Mauw, Semen Yurkov:
Breaking and Fixing Unlinkability of the Key Agreement Protocol for 2nd Gen EMV Payments. CoRR abs/2105.02029 (2021) - 2020
- [j9]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne:
Global types with internal delegation. Theor. Comput. Sci. 807: 128-153 (2020) - [c19]Ross Horne:
Session Subtyping and Multiparty Compatibility Using Circular Sequents. CONCUR 2020: 12:1-12:22 - [c18]Dov M. Gabbay, Ross Horne, Sjouke Mauw, Leendert van der Torre:
Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees. GraMSec@CSF 2020: 143-165 - [c17]Matteo Acclavio, Ross Horne, Lutz Straßburger:
Logic Beyond Formulas: A Proof System on Graphs. LICS 2020: 38-52 - [i6]Ross Horne, Sjouke Mauw:
Discovering ePassport Vulnerabilities using Bisimilarity. CoRR abs/2002.07309 (2020) - [i5]Matteo Acclavio, Ross Horne, Lutz Straßburger:
An Analytic Propositional Proof System on Graphs. CoRR abs/2012.01102 (2020)
2010 – 2019
- 2019
- [j8]Ross Horne, Alwen Tiu:
Constructing weak simulations from linear implications for processes with private names. Math. Struct. Comput. Sci. 29(8): 1275-1308 (2019) - [j7]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): 22:1-22:44 (2019) - [c16]Ihor Filimonov, Ross Horne, Sjouke Mauw, Zach Smith:
Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity. ESORICS (1) 2019: 577-594 - [c15]Ross Horne:
The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic. FSCD 2019: 23:1-23:16 - [e2]Massimiliano Albanese, Ross Horne, Christian W. Probst:
Graphical Models for Security - 6th International Workshop, GraMSec@CSF 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers. Lecture Notes in Computer Science 11720, Springer 2019, ISBN 978-3-030-36536-3 [contents] - 2018
- [c14]Ross Horne, Sjouke Mauw, Alwen Tiu:
The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement. GraMSec@FLoC 2018: 90-110 - [c13]Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu:
Quasi-Open Bisimilarity with Mismatch is Intuitionistic. LICS 2018: 26-35 - [i4]Ross Horne:
A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties. CoRR abs/1811.02536 (2018) - 2017
- [j6]Ross Horne, Sjouke Mauw, Alwen Tiu:
Semantics for Specialising Attack Trees based on Linear Logic. Fundam. Informaticae 153(1-2): 57-86 (2017) - [c12]Ki Yung Ahn, Ross Horne, Alwen Tiu:
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. CONCUR 2017: 7:1-7:17 - [i3]Ki Yung Ahn, Ross Horne, Alwen Tiu:
A Characterisation of Open Bisimulation using an Intuitionistic Modal Logic. CoRR abs/1701.05324 (2017) - [i2]Ki Yung Ahn, Ross Horne, Alwen Tiu:
Generating Witness of Non-Bisimilarity for the pi-Calculus. CoRR abs/1705.10908 (2017) - 2016
- [j5]Gabriel Ciobanu, Ross Horne, Vladimiro Sassone:
A descriptive type foundation for RDF Schema. J. Log. Algebraic Methods Program. 85(5): 681-706 (2016) - [c11]Alwen Tiu, Nam Nguyen, Ross Horne:
SPEC: An Equivalence Checker for Security Protocols. APLAS 2016: 87-95 - [c10]Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu:
Private Names in Non-Commutative Logic. CONCUR 2016: 31:1-31:16 - [i1]Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu:
Private Names in Non-Commutative Logic. CoRR abs/1602.06043 (2016) - 2015
- [j4]Ross Horne:
The Consistency and Complexity of Multiplicative Additive System Virtual. Sci. Ann. Comput. Sci. 25(2): 245-316 (2015) - [j3]Gabriel Ciobanu, Ross Horne, Vladimiro Sassone:
Minimal type inference for Linked Data consumers. J. Log. Algebraic Methods Program. 84(4): 485-504 (2015) - [c9]Gabriel Ciobanu, Ross Horne:
Behavioural Analysis of Sessions Using the Calculus of Structures. Ershov Memorial Conference 2015: 91-106 - [e1]Ross Horne:
Embracing Global Computing in Emerging Economies - First Workshop, EGC 2015, Almaty, Kazakhstan, February 26-28, 2015. Proceedings. Communications in Computer and Information Science 514, Springer 2015, ISBN 978-3-319-25042-7 [contents] - 2014
- [j2]Ross Horne, Vladimiro Sassone:
A verified algebra for read-write Linked Data. Sci. Comput. Program. 89: 2-22 (2014) - [c8]Gabriel Ciobanu, Ross Horne, Vladimiro Sassone:
Descriptive Types for Linked Data Resources. Ershov Memorial Conference 2014: 1-25 - [c7]Gabriel Ciobanu, Ross Horne, Cristian Vaideanu:
Extracting Threshold Conceptual Structures from Web Documents. ICCS 2014: 130-144 - 2013
- [c6]Ross Horne, Timur Umarov:
Ensuring Faultless Communication Behaviour in A Commercial Cloud. SEFM Workshops 2013: 44-55 - [c5]Gabriel Ciobanu, Ross Horne:
Non-interleaving Operational Semantics for Geographically Replicated Databases. SYNASC 2013: 440-447 - [c4]Gabriel Ciobanu, Ross Horne, Vladimiro Sassone:
Local Type Checking for Linked Data Consumers. WWV 2013: 19-33 - 2012
- [j1]Mariangiola Dezani-Ciancaglini, Ross Horne, Vladimiro Sassone:
Tracing where and who provenance in Linked Data: A calculus. Theor. Comput. Sci. 464: 113-129 (2012) - [c3]Gabriel Ciobanu, Ross Horne:
A Provenance Tracking Model for Data Updates. FOCLASA 2012: 31-44 - 2011
- [b1]Ross Horne:
Programming languages and principles for read-write linked data. University of Southampton, UK, 2011 - [c2]Ross Horne, Vladimiro Sassone, Nicholas Gibbins:
Operational Semantics for SPARQL Update. JIST 2011: 242-257 - [c1]Ross Horne, Vladimiro Sassone:
A Verified Algebra for Linked Data. FOCLASA 2011: 20-33
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
