Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2309.03128
Cited By
Provably Unlinkable Smart Card-based Payments
6 September 2023
Sergiu Bursuc
Ross Horne
S. Mauw
S. Yurkov
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Provably Unlinkable Smart Card-based Payments"
1 / 1 papers shown
Title
Automatic Verification of Correspondences for Security Protocols
B. Blanchet
89
241
0
23 Feb 2008
1
