Ross James Horne
|
|
||||
| Faculté ou Centre | Faculté des Sciences, des Technologies et de Médecine | ||||
| Department | Département Informatique | ||||
| Adresse postale |
Université du Luxembourg Maison du Nombre 6, Avenue de la Fonte L-4364 Esch-sur-Alzette |
||||
| Bureau sur le campus | MNO, E03 0335-150 | ||||
|
|||||
| Téléphone | (+352) 46 66 44 5756 | ||||
2022
A Graphical Proof Theory of Logical Time; ; ;
in Felty, Amy P. (Ed.) Proc. 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022) (2022)
Is Eve nearby? Analysing protocols under the distant-attacker assumption; ; ; ;
in IEEE Computer Security Foundations Symposium, August 7 - 10, 2022, Haifa, Israel (2022)
Cloud removal from satellite imagery using multispectral edge-filtered conditional generative adversarial networks; ; ;
in International Journal of Remote Sensing (2022), 43(5), 1881-1893
Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments; ;
Scientific Conference (2022, August 10)
2021
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic; ;
in Logical Methods in Computer Science (2021), 17(3), 21240
Discovering ePassport Vulnerabilities using Bisimilarity;
in Logical Methods in Computer Science (2021), 17(2), 241--2452
Compositional Analysis of Protocol Equivalence in the Applied pi-Calculus Using Quasi-open Bisimilarity; ; ; ;
in Theoretical Aspects of Computing -- ICTAC 2021 (2021)
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom; ;
in 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '21) (2021)
2020
Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees.; ; ;
in Graphical Models for Security - 7th International Workshop (2020)
Session Subtyping and Multiparty Compatibility Using Circular Sequentsin In 31st International Conference on Concurrency Theory (CONCUR 2020). (2020)
Logic Beyond Formulas: A Graphical Proof System; ;
in LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (2020)
2019
Graphical Models for Security - 6th International Workshop, Revised Papers; ;
Scientific Conference (2019)
The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logicin 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019). (2019)
Breaking Unlinkability of the ICAO 9303 Standard for e-Passports using Bisimilarity; ; ;
in Breaking Unlinkability of the ICAO 9303 Standard for e-Passports using Bisimilarity (2019, September 23)
Constructing weak simulations from linear implications for processes with private names;
in Mathematical Structures in Computer Science (2019)
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic; ; ;
in ACM Transactions on Computational Logic (2019), 20(4), 221--2244
2018
Quasi-Open Bisimilarity with Mismatch is Intuitionistic; ; ;
in Proceedings of LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, United Kingdom, July 9-12, 2018 (LICS '18) (2018)
The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement; ;
in Proc.\ 5th International Workshop on Graphical Models for Security (GraMSec'18) (2018)
2017
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic; ;
in 28th International Conference on Concurrency Theory (CONCUR 2017). (2017)
Semantics for specialising attack trees based on linear logic; ;
in Fundamenta Informaticae (2017), 153(1-2), 57-86
2016
A descriptive type foundation for RDF Schema; ;
in Journal of Logical and Algebraic Methods in Programming (2016), 85(5), 681-706
Private Names in Non-Commutative Logic; ; ;
in 27th International Conference on Concurrency Theory (CONCUR 2016) (2016)
SPEC: An Equivalence Checker for Security Protocols; ;
in Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings (2016)
2015
Behavioural analysis of sessions using the calculus of structures;
in In Perspectives of System Informatics, 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27 (2015)
Minimal type inference for Linked Data consumers; ;
in Journal of Logical and Algebraic Methods in Programming (2015), 84(4), 485-504
Embracing Global Computing in Emerging Economies - First Workshop EGC 2015, Almaty, Kazakhstan, February 26-28, 2015. ProceedingsBook published by Springer (2015)
The consistency and complexity of multiplicative additive system virtualin Scientific Annals of Computer Science (2015), 25(2), 245-316
2014
2013
Non-interleaving Operational Semantics for Geographically Replicated Databases;
in 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September 23-26, 2013 (2013)
2012
Tracing where and who provenance in Linked Data: A calculus; ;
in Theoretical Computer Science (2012), 464
2011
Operational Semantics for SPARQL Update; ;
in The Semantic Web - Joint International Semantic Technology Conference JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings (2011)
