Ross Horne
Orcid: 0000-0003-0162-1901Affiliations:
- University of Luxembourg
According to our database1,
Ross Horne
authored at least 51 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Sci. Comput. Program., January, 2024
2023
When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied <i>π</i>-calculus.
Theor. Comput. Sci., May, 2023
J. Aerosp. Inf. Syst., 2023
Inf., 2023
Proceedings of the Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2023
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023
2022
Theories of life and computation: Special issue on the occasion of the 65th birthday of Professor Gabriel Ciobanu.
Theor. Comput. Sci., 2022
CoRR, 2022
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus.
Proceedings of the Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, 2022
Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022
Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022
Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022
Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022
Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus.
Proceedings of the 33rd International Conference on Concurrency Theory, 2022
2021
Log. Methods Comput. Sci., 2021
Log. Methods Comput. Sci., 2021
Breaking and Fixing Unlinkability of the Key Agreement Protocol for 2nd Gen EMV Payments.
CoRR, 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021
2020
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
Proceedings of the Graphical Models for Security - 7th International Workshop, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
2019
ACM Trans. Comput. Log., 2019
Constructing weak simulations from linear implications for processes with private names.
Math. Struct. Comput. Sci., 2019
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019
Proceedings of the Computer Security - ESORICS 2019, 2019
2018
A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties.
CoRR, 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement.
Proceedings of the 5th International Workshop on Graphical Models for Security, 2018
2017
Fundam. Informaticae, 2017
CoRR, 2017
2016
J. Log. Algebraic Methods Program., 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016
2015
J. Log. Algebraic Methods Program., 2015
Sci. Ann. Comput. Sci., 2015
Proceedings of the Perspectives of System Informatics, 2015
2014
Proceedings of the Graph-Based Representation and Reasoning, 2014
Proceedings of the Perspectives of System Informatics, 2014
2013
Proceedings of the Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, 2013
Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013
Proceedings of the Software Engineering and Formal Methods, 2013
2012
Theor. Comput. Sci., 2012
Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012
2011
Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011
Proceedings of the Semantic Web - Joint International Semantic Technology Conference, 2011