Dr Ross Horne
Senior Lecturer
Computer and Information Sciences
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
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
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
Back to staff profile
Contact
Dr
Ross
Horne
Senior Lecturer
Computer and Information Sciences
Email: ross.horne@strath.ac.uk
Tel: 548 3397