Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Horne, Ross
283  Ergebnisse:
Personensuche X
?
1

SSI, from Specifications to Protocol? Formally Verify Secur..:

, In: Proceedings of the ACM on Web Conference 2024,
Braun, Christoph H.-J. ; Horne, Ross ; Käfer, Tobias. - p. 1620-1631 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

A logical account of subtyping for session types:

Horne, Ross ; Padovani, Luca
Journal of Logical and Algebraic Methods in Programming.  141 (2024)  - p. 100986 , 2024
Link: https://doi.org/10.1016/..
 
?
3

XACML2mCRL2: Automatic transformation of XACML policies int..:

Arshad, Hamed ; Horne, Ross ; Johansen, Christian..
Science of Computer Programming.  232 (2024)  - p. 103046 , 2024
Link: https://doi.org/10.1016/..
 
?
4

When privacy fails, a formula describes an attack: A comple..:

Horne, Ross ; Mauw, Sjouke ; Yurkov, Semen
Theoretical Computer Science.  959 (2023)  - p. 113842 , 2023
Link: https://doi.org/10.1016/..
 
?
5

Assessing the Solid Protocol in Relation to Security and Pr..:

Esposito, Christian ; Horne, Ross ; Robaldo, Livio..
Information.  14 (2023)  7 - p. 411 , 2023
Link: https://doi.org/10.3390/..
 
?
6

Anomaly Detection Using Deep Learning Respecting the Resour..:

Horne, Ross ; Mauw, Sjouke ; Mizera, Andrzej..
Journal of Aerospace Information Systems.  20 (2023)  12 - p. 859-872 , 2023
Link: https://doi.org/10.2514/..
 
?
7

Provably Unlinkable Smart Card-based Payments:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
Bursuc, Sergiu ; Horne, Ross ; Mauw, Sjouke. - p. 1392-1406 , 2023
Link: https://dl.acm.org/doi/1..
 
?
8

Theories of life and computation:

Alexandru, Andrei ; Aman, Bogdan ; Horne, Ross
Theoretical Computer Science.  926 (2022)  - p. 1-2 , 2022
Link: https://doi.org/10.1016/..
 
?
9

An Analytic Propositional Proof System on Graphs:

Acclavio, Matteo ; Horne, Ross ; Straßburger, Lutz
Logical Methods in Computer Science.  18, Issue 4 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
10

Unlinkability of an Improved Key Agreement Protocol for EMV..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
Horne, Ross ; Mauw, Sjouke ; Yurkov, Semen - p. 364-379 , 2022
Link: https://doi.org/10.1109/..
 
?
11

Process Algebra Can Save Lives: Static Analysis of XACML Ac..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,
Arshad, Hamed ; Horne, Ross ; Johansen, Christian.. - p. 11-30 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Cloud removal from satellite imagery using multispectral ed..:

Hasan, Cengis ; Horne, Ross ; Mauw, Sjouke.
International Journal of Remote Sensing.  43 (2022)  5 - p. 1881-1893 , 2022
Link: https://doi.org/10.1080/..
 
?
13

Is Eve nearby? Analysing protocols under the distant-attack..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
Gil-Pons, Reynaldo ; Horne, Ross ; Mauw, Sjouke.. - p. 17-32 , 2022
Link: https://doi.org/10.1109/..
 
?
14

A Characterisation of Open Bisimilarity using an Intuitioni..:

Ahn, Ki Yung ; Horne, Ross ; Tiu, Alwen
Logical Methods in Computer Science.  17, Issue 3 (2021)  - p. , 2021
Link: https://doi.org/10.46298..
 
?
15

Assuming just enough fairness to make session types complet..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
van Glabbeek, Rob ; Höfner, Peter ; Horne, Ross - p. 1-13 , 2021
Link: https://dl.acm.org/doi/1..
 
1-15