@article{TCS23,
  author        = {Ross Horne and Sjouke Mauw and Semen Yurkov},
  title         = {When privacy fails, a formula describes an attack: {A} complete and compositional verification method for the applied \pi-calculus},
  journal       = {Theor. Comput. Sci.},
  volume        = {959},
  pages         = {113842},
  year          = {2023},
  url           = {https://doi.org/10.1016/j.tcs.2023.113842},
  doi           = {10.1016/j.tcs.2023.113842},
  timestamp     = {Fri, 02 Jun 2023 21:23:36 +0200},
  biburl        = {https://dblp.org/rec/journals/tcs/HorneMY23.bib},
  bibsource     = {dblp computer science bibliography, https://dblp.org}
}