Dr Ross Horne
Senior Lecturer
Computer and Information Sciences
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.
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
- Clark-Wilson policies in ACP : controlling information flow between solid apps
- Forsyth Ellie, Horne Ross
- CEUR Workshop Proceedings Vol 3947, pp. 100-108 (2025)
- Escaping from identity providers : protecting privacy with verifiable credentials in community solid server
- Macdonald Ben, Horne Ross, Boi Biagio
- CEUR Workshop Proceedings Vol 3947, pp. 90-99 (2025)
- 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
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
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-Jan-2024 - 21-Jan-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-Jan-2020 - 22-Jan-2024
Contact
Dr
Ross
Horne
Senior Lecturer
Computer and Information Sciences
Email: ross.horne@strath.ac.uk
Tel: 548 3397