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
- Security Protocols and Threat Models : Security and Privacy via The Applied pi-Calculus
- Gil Pons Reynaldo, Horne Ross, Mauw Sjouke, Stutz Felix, Yurkov Semen
- Information Security and Cryptography Information Security and Cryptography (2026)
- Open Bisimilarity for the π-Calculus with Mismatch
- Liu Tiange, Tiu Alwen, Horne Ross
- 36th International Conference on Concurrency Theory, CONCUR 2025 36th International Conference on Concurrency Theory, CONCUR 2025 Leibniz International Proceedings in Informatics, LIPIcs Vol 348 (2025)
- https://doi.org/10.4230/LIPIcs.CONCUR.2025.30
- 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)
- Clark-Wilson policies in ACP : controlling information flow between solid apps
- Forsyth Ellie, Horne Ross
- CEUR Workshop Proceedings Vol 3947, pp. 100-108 (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
Professional Activities
- GandALF 2025Sixteenth International Symposium onGames, Automata, Logics, and Formal Verification (Event)
- Peer reviewer
- 16/9/2025
- Keynote: How can we avoid conflicts of interest?
- Speaker
- 11/8/2025
- Summer school: Formal methods for Information Security
- Participant
- 19/6/2025
- 31st Conference on Types for Proofs and Programs
- Participant
- 11/6/2025
- Solid Symposium 2025
- Participant
- 24/4/2025
- Cyber Security Education Ecosystem conference 2025
- Participant
- 4/3/2025
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
- EPSRC IAA: Future Secure Payments from Schematics to Chip
- Horne, Ross (Co-investigator)
- 01-Jan-2022 - 31-Jan-2026
- 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