Search for persons
X
?
2023 IEEE 36th Computer Security Foundations Symposium (CSF) ,
2
Proving Unlinkability Using ProVerif Through Desynchronised..:
, In:
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
3
A Higher-Order Indistinguishability Logic for Cryptographic..:
, In:
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
4
Bouncing Threads for Circular and Non-Wellfounded Proofs ..:
, In:
?
2022 IEEE 35th Computer Security Foundations Symposium (CSF) ,
5
Cracking the Stateful Nut: Computational Proofs of Stateful..:
, In:
?
2021 IEEE Symposium on Security and Privacy (SP) ,
6
An Interactive Prover for Protocol Verification in the Comp..:
, In:
?
2020 IEEE 33rd Computer Security Foundations Symposium (CSF) ,
7
A Method for Proving Unlinkability of Stateful Protocols:
, In:
?
Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems ,
8
Decidable XPath Fragments in the Real World:
, In:
?
Computer Security; Lecture Notes in Computer Science ,
10
POR for Security Protocol Equivalences: Beyond Action-Deter..:
, In:
?
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science ,
11
Towards Completeness via Proof Search in the Linear Time μ-..:
, In:
?
2016 IEEE Symposium on Security and Privacy (SP) ,
12
A Method for Verifying Privacy-Type Properties: The Unbound..:
, In:
?
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science ,
15