@article{JosBaeten,
  journal       = {Logical Methods in Computer Science},
  volume        = {17},
  number        = {2},
  year          = {2021},
  pages         = {24:1--24:52},
  title         = {Discovering ePassport Vulnerabilities using Bisimilarity},
  author        = {Ross Horne and Sjouke Mauw},
  doi           = {10.23638/LMCS-17(2:24)2021},
  url           = {https://satoss.uni.lu/members/ross/pdf/LMCS21.pdf}
}