| 2025 | CONCUR | Open Bisimilarity for the π-Calculus with Mismatch. | Tiange Liu, Alwen Tiu, Ross Horne |
| 2024 | WWW | SSI, from Specifications to Protocol? Formally Verify Security! | Christoph H.-J. Braun, Ross Horne, Tobias Kfer, Sjouke Mauw |
| 2023 | CCS | Provably Unlinkable Smart Card-based Payments. | Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov |
| 2022 | CONCUR | Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. | Clment Aubert, Ross Horne, Christian Johansen |
| 2022 | FORTE | Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. | Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse |
| 2022 | FSCD | A Graphical Proof Theory of Logical Time. | Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straburger |
| 2021 | ICTAC | Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity. | Ross Horne, Sjouke Mauw, Semen Yurkov |
| 2021 | LICS | Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. | Rob van Glabbeek, Peter Hfner, Ross Horne |
| 2020 | CONCUR | Session Subtyping and Multiparty Compatibility Using Circular Sequents. | Ross Horne |
| 2020 | LICS | Logic Beyond Formulas: A Proof System on Graphs. | Matteo Acclavio, Ross Horne, Lutz Straburger |
| 2019 | ESORICS | Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity. | Ihor Filimonov, Ross Horne, Sjouke Mauw, Zach Smith |
| 2018 | LICS | Quasi-Open Bisimilarity with Mismatch is Intuitionistic. | Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu |
| 2017 | CONCUR | A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. | Ki Yung Ahn, Ross Horne, Alwen Tiu |
| 2016 | APLAS | SPEC: An Equivalence Checker for Security Protocols. | Alwen Tiu, Nam Nguyen, Ross Horne |
| 2016 | CONCUR | Private Names in Non-Commutative Logic. | Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu |
| 2014 | ICCS | Extracting Threshold Conceptual Structures from Web Documents. | Gabriel Ciobanu, Ross Horne, Cristian Vaideanu |
| 2013 | SEFM | Ensuring Faultless Communication Behaviour in A Commercial Cloud. | Ross Horne, Timur Umarov |
| 2013 | SYNASC | Non-interleaving Operational Semantics for Geographically Replicated Databases. | Gabriel Ciobanu, Ross Horne |