Articles with public access mandates - Ross HorneLearn more
Available somewhere: 13
Semantics for specialising attack trees based on linear logic
R Horne, S Mauw, A Tiu
Fundamenta Informaticae 153 (1-2), 57-86, 2017
Mandates: Luxembourg National Research Fund, National Research Foundation, Singapore
Global types with internal delegation
I Castellani, M Dezani-Ciancaglini, P Giannini, R Horne
Theoretical Computer Science 807, 128-153, 2020
Mandates: European Commission
Quasi-open bisimilarity with mismatch is intuitionistic
R Horne, KY Ahn, SW Lin, A Tiu
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
Mandates: National Research Foundation, Singapore
Constructing weak simulations from linear implications for processes with private names
R Horne, A Tiu
Mathematical Structures in Computer Science 29 (8), 1275-1308, 2019
Mandates: National Research Foundation, Singapore
Assessing the solid protocol in relation to security and privacy obligations
C Esposito, R Horne, L Robaldo, B Buelens, E Goesaert
Information 14 (7), 411, 2023
Mandates: European Commission
When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied π-calculus
R Horne, S Mauw, S Yurkov
Theoretical Computer Science 959, 113842, 2023
Mandates: Luxembourg National Research Fund
A characterisation of open bisimilarity using an intuitionistic modal logic
A Tiu, R Horne, KY Ahn
Logical Methods in Computer Science 17, 2021
Mandates: National Research Foundation, Singapore
A logical account of subtyping for session types
R Horne, L Padovani
Journal of Logical and Algebraic Methods in Programming 141, 100986, 2024
Mandates: European Commission
Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments
R Horne, S Mauw, S Yurkov
IEEE Computer Security Foundations Symposium, August 7-10, 2022, Haifa, Israel, 2022
Mandates: Luxembourg National Research Fund
Is Eve nearby? Analysing protocols under the distant-attacker assumption
R Gil-Pons, R Horne, S Mauw, A Tiu, R Trujillo-Rasua
2022 IEEE 35th Computer Security Foundations Symposium (CSF), 17-32, 2022
Mandates: Luxembourg National Research Fund
SSI, from Specifications to Protocol? Formally verify security!
CHJ Braun, R Horne, T Käfer, S Mauw
Proceedings of the ACM Web Conference 2024, 1620-1631, 2024
Mandates: European Commission
Provably unlinkable smart card-based payments
S Bursuc, R Horne, S Mauw, S Yurkov
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
Mandates: Luxembourg National Research Fund
The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement
RJ Horne, S Mauw, A Tiu
Proc. 5th International Workshop on Graphical Models for Security (GraMSec'18), 2018
Mandates: Luxembourg National Research Fund, National Research Foundation, Singapore
Publication and funding information is determined automatically by a computer program