@inproceedings{CCS23,
  author        = {Sergiu Bursuc and Ross Horne and Sjouke Mauw and Semen Yurkov},
  title         = {Provably Unlinkable Smart Card-based Payments},
  year          = {2023},
  booktitle     = {In proceedings of ACM onference on Computer and Communications Security (CCS) 2023 26-30 NOV., 2023 Tivoli Congress Center, Copenhagen, Denmark}
}