@inproceedings{filimonov2019breaking,
  title         = {Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity},
  author        = {Filimonov, Ihor and Horne, Ross and Mauw, Sjouke and Smith, Zach},
  booktitle     = {European Symposium on Research in Computer Security},
  pages         = {577--594},
  year          = {2019},
  organization  = {Springer}
}