Ross Horne

Assessing the Solid Protocol in Relation to Security & Privacy Obligations

C. Esposito, O. Hartig, Chang-Pu Sun, 2022, ArXiv.

Ensuring Faultless Communication Behaviour in A Commercial Cloud

Ross Horne, Timur Umarov, T. Umarov, 2013, SEFM Workshops.

Assessing the Solid Protocol in Relation to Security and Privacy Obligations

L. Robaldo, C. Esposito, B. Buelens, 2023, Inf..

Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments

S. Mauw, R. Horne, S.I. Yurkov, 2021, 2022 IEEE 35th Computer Security Foundations Symposium (CSF).

When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied π-calculus

S. Mauw, Ross Horne, S. Yurkov, 2023, Theor. Comput. Sci..

Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity

S. Mauw, S. Yurkov, Ross Horne, 2021, ICTAC.