@inproceedings{MauwSTT18b,
  author        = {Sjouke Mauw and Zach Smith and Jorge Toro{-}Pozo and Rolando Trujillo{-}Rasua},
  title         = {Automated Identification of Desynchronisation Attacks on Shared Secrets},
  booktitle     = {Computer Security - 23rd European Symposium on Research in Computer Security, {ESORICS} 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part {I}},
  pages         = {406--426},
  year          = {2018},
  url           = {https://doi.org/10.1007/978-3-319-99073-6\_20},
  doi           = {10.1007/978-3-319-99073-6\_20}
}