@inproceedings{mauw2018automated,
  title         = {Automated Identification of Desynchronisation Attacks on Shared Secrets},
  author        = {Mauw, Sjouke and Smith, Zach and Toro-Pozo, Jorge and Trujillo-Rasua, Rolando},
  booktitle     = {European Symposium on Research in Computer Security},
  year          = {2018}
}