Ross Horne - RankMe

69 papers A* 5A 3B 8C 2Misc 2Journal 31Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	—	`book`	Security Protocols and Threat Models - Security and Privacy via The Applied π-Calculus Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Felix Stutz, Semen Yurkov
2026	J	`jnl`	Unlinkability and History Preserving Bisimilarity. CoRR Clément Aubert, Ross Horne, Christian Johansen, Sjouke Mauw
2026	J	`jnl`	Unlinkability and history preserving bisimilarity. Comput. Secur. Clément Aubert, Ross Horne, Christian Johansen, Sjouke Mauw
2025	B	`conf`	Open Bisimilarity for the π-Calculus with Mismatch. CONCUR Tiange Liu, Alwen Tiu, Ross Horne
2024	J	`jnl`	A logical account of subtyping for session types. J. Log. Algebraic Methods Program. Ross Horne, Luca Padovani
2024	A	`conf`	Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation. CSF Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz
2024	J	`jnl`	Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation. CoRR Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz
2024	—	`conf`	Clark-Wilson Policies in ACP: Controlling Information Flow Between Solid Apps. SoSy Ellie Forsyth, Ross Horne
2024	—	`conf`	Escaping from Identity Providers: Protecting Privacy with Verifiable Credentials in Community Solid Server. SoSy Ben Macdonald, Ross Horne, Biagio Boi
2024	A*	`conf`	SSI, from Specifications to Protocol? Formally Verify Security! WWW Christoph H.-J. Braun, Ross Horne, Tobias Käfer, Sjouke Mauw
2024	J	`jnl`	XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. Sci. Comput. Program. Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
2023	—	`conf`	A Logical Account of Subtyping for Session Types. PLACES@ETAPS Ross Horne, Luca Padovani
2023	J	`jnl`	Anomaly Detection Using Deep Learning Respecting the Resources on Board a CubeSat. J. Aerosp. Inf. Syst. Ross Horne, Sjouke Mauw, Andrzej Mizera, André Stemper, Jan Thoemel
2023	J	`jnl`	Assessing the Solid Protocol in Relation to Security and Privacy Obligations. Inf. Christian Esposito, Ross Horne, Livio Robaldo, Bart Buelens, Elfi Goesaert
2023	A*	`conf`	Provably Unlinkable Smart Card-based Payments. CCS Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov
2023	J	`jnl`	Provably Unlinkable Smart Card-based Payments. CoRR Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov
2023	J	`jnl`	When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied Theor. Comput. Sci. Ross Horne, Sjouke Mauw, Semen Yurkov
2022	B	`conf`	A Graphical Proof Theory of Logical Time. FSCD Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straßburger
2022	J	`jnl`	An Analytic Propositional Proof System on Graphs. Log. Methods Comput. Sci. Matteo Acclavio, Ross Horne, Lutz Straßburger
2022	J	`jnl`	Assessing the Solid Protocol in Relation to Security & Privacy Obligations. CoRR Christian Esposito, Olaf Hartig, Ross Horne, Chang Sun
2022	—	`conf`	Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus. EXPRESS/SOS Clément Aubert, Ross Horne, Christian Johansen
2022	B	`conf`	Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. CONCUR Clément Aubert, Ross Horne, Christian Johansen
2022	A	`conf`	Is Eve nearby? Analysing protocols under the distant-attacker assumption. CSF Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Alwen Tiu, Rolando Trujillo-Rasua
2022	C	`conf`	Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. FORTE Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
2022	J	`jnl`	Theories of life and computation: Special issue on the occasion of the 65th birthday of Professor Gabriel Ciobanu. Theor. Comput. Sci. Andrei Alexandru, Bogdan Aman, Ross Horne
2022	A	`conf`	Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments. CSF Ross Horne, Sjouke Mauw, Semen Yurkov
2021	J	`jnl`	A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. Log. Methods Comput. Sci. Ki Yung Ahn, Ross Horne, Alwen Tiu
2021	A*	`conf`	Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. LICS Rob van Glabbeek, Peter Höfner, Ross Horne
2021	J	`jnl`	Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. CoRR Rob van Glabbeek, Peter Höfner, Ross Horne
2021	J	`jnl`	Breaking and Fixing Unlinkability of the Key Agreement Protocol for 2nd Gen EMV Payments. CoRR Ross Horne, Sjouke Mauw, Semen Yurkov
2021	C	`conf`	Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity. ICTAC Ross Horne, Sjouke Mauw, Semen Yurkov
2021	J	`jnl`	Discovering ePassport Vulnerabilities using Bisimilarity. Log. Methods Comput. Sci. Ross Horne, Sjouke Mauw
2020	J	`jnl`	An Analytic Propositional Proof System on Graphs. CoRR Matteo Acclavio, Ross Horne, Lutz Straßburger
2020	—	`conf`	Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees. GraMSec Dov M. Gabbay, Ross Horne, Sjouke Mauw, Leendert van der Torre
2020	J	`jnl`	Discovering ePassport Vulnerabilities using Bisimilarity. CoRR Ross Horne, Sjouke Mauw
2020	J	`jnl`	Global types with internal delegation. Theor. Comput. Sci. Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne
2020	A*	`conf`	Logic Beyond Formulas: A Proof System on Graphs. LICS Matteo Acclavio, Ross Horne, Lutz Straßburger
2020	B	`conf`	Session Subtyping and Multiparty Compatibility Using Circular Sequents. CONCUR Ross Horne
2019	—	`conf`	Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity. ESORICS (1) Ihor Filimonov, Ross Horne, Sjouke Mauw, Zach Smith
2019	J	`jnl`	Constructing weak simulations from linear implications for processes with private names. Math. Struct. Comput. Sci. Ross Horne, Alwen Tiu
2019	J	`jnl`	De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic. ACM Trans. Comput. Log. Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
2019	—	`ed.`	Graphical Models for Security - 6th International Workshop, GraMSec@CSF 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers GraMSec Massimiliano Albanese, Ross Horne, Christian W. Probst
2019	B	`conf`	The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic. FSCD Ross Horne
2018	J	`jnl`	A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties. CoRR Ross Horne
2018	A*	`conf`	Quasi-Open Bisimilarity with Mismatch is Intuitionistic. LICS Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu
2018	—	`conf`	The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement. GraMSec Ross Horne, Sjouke Mauw, Alwen Tiu
2017	B	`conf`	A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. CONCUR Ki Yung Ahn, Ross Horne, Alwen Tiu
2017	J	`jnl`	A Characterisation of Open Bisimulation using an Intuitionistic Modal Logic. CoRR Ki Yung Ahn, Ross Horne, Alwen Tiu
2017	J	`jnl`	Generating Witness of Non-Bisimilarity for the pi-Calculus. CoRR Ki Yung Ahn, Ross Horne, Alwen Tiu
2017	J	`jnl`	Semantics for Specialising Attack Trees based on Linear Logic. Fundam. Informaticae Ross Horne, Sjouke Mauw, Alwen Tiu
2016	J	`jnl`	A descriptive type foundation for RDF Schema. J. Log. Algebraic Methods Program. Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
2016	B	`conf`	Private Names in Non-Commutative Logic. CONCUR Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
2016	J	`jnl`	Private Names in Non-Commutative Logic. CoRR Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
2016	B	`conf`	SPEC: An Equivalence Checker for Security Protocols. APLAS Alwen Tiu, Nam Nguyen, Ross Horne
2015	—	`conf`	Behavioural Analysis of Sessions Using the Calculus of Structures. Ershov Memorial Conference Gabriel Ciobanu, Ross Horne
2015	—	`ed.`	Embracing Global Computing in Emerging Economies - First Workshop, EGC 2015, Almaty, Kazakhstan, February 26-28, 2015. Proceedings EGC Ross Horne
2015	J	`jnl`	Minimal type inference for Linked Data consumers. J. Log. Algebraic Methods Program. Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
2015	J	`jnl`	The Consistency and Complexity of Multiplicative Additive System Virtual. Sci. Ann. Comput. Sci. Ross Horne
2014	J	`jnl`	A verified algebra for read-write Linked Data. Sci. Comput. Program. Ross Horne, Vladimiro Sassone
2014	—	`conf`	Descriptive Types for Linked Data Resources. Ershov Memorial Conference Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
2014	Misc	`conf`	Extracting Threshold Conceptual Structures from Web Documents. ICCS Gabriel Ciobanu, Ross Horne, Cristian Vaideanu
2013	—	`conf`	Ensuring Faultless Communication Behaviour in A Commercial Cloud. SEFM Workshops Ross Horne, Timur Umarov
2013	—	`conf`	Local Type Checking for Linked Data Consumers. WWV Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
2013	Misc	`conf`	Non-interleaving Operational Semantics for Geographically Replicated Databases. SYNASC Gabriel Ciobanu, Ross Horne
2012	—	`conf`	A Provenance Tracking Model for Data Updates FOCLASA Gabriel Ciobanu, Ross Horne
2012	J	`jnl`	Tracing where and who provenance in Linked Data: A calculus. Theor. Comput. Sci. Mariangiola Dezani-Ciancaglini, Ross Horne, Vladimiro Sassone
2011	—	`conf`	A Verified Algebra for Linked Data FOCLASA Ross Horne, Vladimiro Sassone
2011	—	`conf`	Operational Semantics for SPARQL Update. JIST Ross Horne, Vladimiro Sassone, Nicholas Gibbins
2011	—	`—`	Programming languages and principles for read-write linked data. Ross Horne