Browse by Author or creator
2024
Horne, Ross and Padovani, Luca (2024) A logical account of subtyping for session types. Journal of Logical and Algebraic Methods in Programming, 141. 100986. ISSN 2352-2216
Capozucca, Alfredo and Cristiá, Maximiliano and Horne, Ross and Katz, Ricardo (2024) Brewer-Nash scrutinised : mechanised checking of policies featuring write revocation. Other. arXiv.
Braun, Christoph H.-J. and Horne, Ross and Käfer, Tobias and Mauw, Sjouke; (2024) SSI, from specifications to protocol? : Formally verify security! In: WWW '24: Proceedings of the ACM on Web Conference 2024. ACM, Singapore, 1620–1631. ISBN 9798400701719
Arshad, Hamed and Horne, Ross and Johansen, Christian and Owe, Olaf and Willemse, Tim A.C. (2024) XACML2mCRL2 : automatic transformation of XACML policies into mCRL2 specifications. Science of Computer Programming, 232. 103046. ISSN 0167-6423
2023
Bursuc, Sergiu and Horne, Ross and Mauw, Sjouke and Yurkov, Semen; (2023) Provably unlinkable smart card-based payments. In: CCS '23. Association for Computing Machinery, Inc, DNK, pp. 1392-1406. ISBN 9798400700507
Bursuc, Sergiu and Horne, Ross and Mauw, Sjouke and Yurkov, Semen (2023) Provably unlinkable smart card-based payments. Other. arXiv, Ithaca, NY.
Esposito, Christian and Horne, Ross and Robaldo, Livio and Buelens, Bart and Goesaert, Elfi (2023) Assessing the solid protocol in relation to security and privacy obligations. Information, 14 (7). 411. ISSN 2078-2489
Horne, Ross and Padovani, Luca; Castellani, Ilaria and Scalas, Alceste, eds. (2023) A logical account of subtyping for session types. In: Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. Electronic Proceedings in Theoretical Computer Science, 378 . Open Publishing Association, Waterloo, NSW, pp. 26-37.
2022
Acclavio, Matteo and Horne, Ross and Straßburger, Lutz (2022) An analytic propositional proof system on graphs. Logical Methods in Computer Science, 18 (4). 1:1-1:80. ISSN 1860-5974
Aubert, Clément and Horne, Ross and Johansen, Christian; Castiglioni, Valentina and Mezzina, Claudio A., eds. (2022) Bisimulations respecting duration and causality for the non-interleaving applied pi-calculus. In: Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association, POL, pp. 3-22.
Aubert, Clément and Horne, Ross and Johansen, Christian; Klin, Bartek and Lasota, Sławomir and Muscholl, Anca, eds. (2022) Diamonds for security : a non-interleaving operational semantics for the applied pi-calculus. In: 33rd International Conference on Concurrency Theory. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, POL, 30:1-30:26. ISBN 9783959772464
Acclavio, Matteo and Horne, Ross and Mauw, Sjouke and Straßburger, Lutz; Felty, Amy P., ed. (2022) A graphical proof theory of logical time. In: 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, ISR, 22:1-22:25. ISBN 9783959772334
Hasan, Cengis and Horne, Ross and Mauw, Sjouke and Mizera, Andrzej (2022) Cloud removal from satellite imagery using multispectral edge-filtered conditional generative adversarial networks. International Journal of Remote Sensing, 43 (5). pp. 1881-1893. ISSN 0143-1161
2021
Horne, Ross and Mauw, Sjouke and Yurkov, Semen; Cerone, Antonio and Ölveczky, Peter Csaba, eds. (2021) Compositional analysis of protocol equivalence in the applied pi-calculus using quasi-open bisimilarity. In: Theoretical Aspects of Computing – ICTAC 2021. Lecture Notes in Computer Science - LNCS, 12819 . Springer: Lecture Notes in Computer Science, KAZ, pp. 235-255. ISBN 9783030853150
Ahn, Ki Yung and Horne, Ross and Tiu, Alwen (2021) A characterisation of open bisimilarity using an intuitionistic modal logic. Logical Methods in Computer Science, 17 (3). 2:1-2:40. ISSN 1860-5974
Horne, Ross and Mauw, Sjouke (2021) Discovering ePassport vulnerabilities using bisimilarity. Logical Methods in Computer Science, 17 (2). 24. ISSN 1860-5974
2020
Horne, Ross; Konnov, Igor and Kovacs, Laura, eds. (2020) Session subtyping and multiparty compatibility using circular sequents. In: 31st International Conference on Concurrency Theory, CONCUR 2020. Leibniz International Proceedings in Informatics, LIPIcs, 171 . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, AUT, 12.1-12.22. ISBN 9783959771603
Castellani, Ilaria and Dezani-Ciancaglini, Mariangiola and Giannini, Paola and Horne, Ross (2020) Global types with internal delegation. Theoretical Computer Science, 807. 128 - 153. ISSN 0304-3975
2019
Horne, Ross; Geuvers, Herman and Geuvers, Herman, eds. (2019) The sub-additives : a proof theory for probabilistic choice extending linear logic. In: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019. Leibniz International Proceedings in Informatics, LIPIcs, 131 . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, DEU, 23:1-23:16. ISBN 9783959771078
2017
Ahn, Ki Yung and Horne, Ross and Tiu, Alwen; Meyer, Roland and Nestmann, Uwe, eds. (2017) A characterisation of open bisimilarity using an intuitionistic modal logic. In: 28th International Conference on Concurrency Theory. Leibniz International Proceedings in Informatics . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, DEU, 7:1–7:17. ISBN 9783959770484
Horne, Ross and Mauw, Sjouke and Tiu, Alwen (2017) Semantics for specialising attack trees based on linear logic. Fundamenta Informaticae, 153 (1-2). pp. 57-86. ISSN 0169-2968
2016
Horne, Ross and Tiu, Alwen and Aman, Bogdan and Ciobanu, Gabriel; Desharnais, Josée and Jagadeesan, Radha, eds. (2016) Private names in non-commutative logic. In: 27th International Conference on Concurrency Theory (CONCUR 2016). Leibniz International Proceedings in Informatics . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, 31:1-31:16. ISBN 9783959770170
Ciobanu, Gabriel and Horne, Ross and Sassone, Vladimiro (2016) A descriptive type foundation for RDF schema. Journal of Logical and Algebraic Methods in Programming, 85 (5, Pt.). pp. 681-706. ISSN 2352-2216
Ciobanu, Gabriel and Horne, Ross; Mazzara, Manuel and Voronkov, Andrei, eds. (2016) Behavioural analysis of sessions using the calculus of structures. In: Perspectives of System Informatics. Lecture Notes in Computer Science . Springer, Cham, pp. 91-106. ISBN 9783319415796
2015
Ciobanu, Gabriel and Horne, Ross and Sassone, Vladimiro; Voronkov, Andrei and Virbitskaite, Irina, eds. (2015) Descriptive types for linked data resources. In: Perspectives of System Informatics. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, SUN, pp. 1-25. ISBN 9783662468234
2013
Ciobanu, Gabriel and Horne, Ross and Sassone, Vladimiro (2013) Local type checking for linked data consumers. Electronic Proceedings in Theoretical Computer Science, EPTCS, 123. pp. 19-33. ISSN 2075-2180
2012
Ciobanu, Gabriel and Horne, Ross (2012) A provenance tracking model for data apdates. Electronic Proceedings in Theoretical Computer Science, 91. pp. 31-44.