?
Proceedings of the ACM on Web Conference 2024 ,
2
SSI, from Specifications to Protocol? Formally Verify Secur..:
, In:
?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security ,
5
Provably Unlinkable Smart Card-based Payments:
, In:
?
2022 IEEE 35th Computer Security Foundations Symposium (CSF) ,
8
Is Eve nearby? Analysing protocols under the distant-attack..:
, In:
?
2022 IEEE 35th Computer Security Foundations Symposium (CSF) ,
11
Unlinkability of an Improved Key Agreement Protocol for EMV..:
, In:
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
13
Process Algebra Can Save Lives: Static Analysis of XACML Ac..:
, In:
?
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science ,
15