Dr Ross Horne

Senior Lecturer

Computer and Information Sciences

Contact

Personal statement

My security & privacy research concerns protocols used to connect devices and people in our digital society. I work to mitigate challenging threats where it is not obvious whether or not attackers can manipulate protocols so that they may, for instance, masquerade using someone elses identity or profile activities. A threat model precisely specifies the capabilities of attackers in such a way that logical methods may be employed to show the presence or absence of attack vectors.

I have a broad interest in interdisciplinary thinking that is required to solve real problems, for which we need to combine multiple methodologies in order to understand cyber threats and measures.

My personal website lays down several research directions in more detail. Notably it also explains my research in concurrency theory, which is important for understanding how to reason precisely about computing involving two or more parties, with protocols being a prime example.

Back to staff profile

Publications

Unlinkability of an improved key agreement protocol for EMV 2nd gen payments
Horne Ross, Mauw Sjouke, Yurkov Semen
2022 IEEE 35th Computer Security Foundations Symposium, CSF 2022 35th IEEE Computer Security Foundations Symposium, CSF 2022 Proceedings - IEEE Computer Security Foundations Symposium Vol 2022-August, pp. 364-379 (2022)
https://doi.org/10.1109/CSF54842.2022.9919666
A logical account of subtyping for session types
Horne Ross, Padovani Luca
Journal of Logical and Algebraic Methods in Programming Vol 141 (2024)
https://doi.org/10.1016/j.jlamp.2024.100986
Brewer-Nash scrutinised : mechanised checking of policies featuring write revocation
Capozucca Alfredo, Cristia Maximiliano, Horne Ross, Katz Ricardo
2024 IEEE 37th Computer Security Foundations Symposium (CSF) 37th IEEE Computer Security Foundations Symposium, CSF 2024 2024 IEEE 37th Computer Security Foundations Symposium (CSF), pp. 112-126 (2024)
https://doi.org/10.1109/CSF61375.2024.00042
SSI, from specifications to protocol? : Formally verify security!
Braun Christoph H-J, Horne Ross, Käfer Tobias, Mauw Sjouke
WWW '24: Proceedings of the ACM on Web Conference 2024 WWW '24: The ACM Web Conference 2024, pp. 1620–1631 (2024)
https://doi.org/10.1145/3589334.3645426
XACML2mCRL2 : automatic transformation of XACML policies into mCRL2 specifications
Arshad Hamed, Horne Ross, Johansen Christian, Owe Olaf, Willemse Tim AC
Science of Computer Programming Vol 232 (2024)
https://doi.org/10.1016/j.scico.2023.103046
Provably unlinkable smart card-based payments
Bursuc Sergiu, Horne Ross, Mauw Sjouke, Yurkov Semen
CCS '23 30th ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, pp. 1392-1406 (2023)
https://doi.org/10.1145/3576915.3623109

More publications

Back to staff profile

Professional Activities

COST DKG MC meeting
Participant
10/9/2024
37th IEEE Computer Security Foundations Symposium
Participant
8/7/2024
44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (Event)
Peer reviewer
17/6/2024
Contactless Payments made Private via Bisimilarity
Speaker
22/5/2024
Solid Symposium
Participant
2/5/2024
Artificial Intelligence Workshop
Participant
16/4/2024

More professional activities

Projects

Interoperable Non-Repudiation Protocol powered by DKGs
Horne, Ross (Principal Investigator)
Visiting PhD student Biagio Boi, University of Salerno. Funded by EU COST Action
03-Jun-2024 - 21-Jun-2024
EU COST Action on Distributed Knowledge Graphs
Horne, Ross (Principal Investigator)
Project running from 2020 to 2024. Funds researcher mobility and workshops associated with the EU. Membership committee member.
23-Sep-2020 - 22-Sep-2024

More projects

Back to staff profile

Contact

Dr Ross Horne
Senior Lecturer
Computer and Information Sciences

Email: ross.horne@strath.ac.uk
Tel: 548 3397