@inproceedings{esorics2018,
  author="McMahon Stone, Chris and Chothia, Tom and de Ruiter, Joeri",
  editor="Lopez, Javier and Zhou, Jianying and Soriano, Miguel",
  title="Extending Automated Protocol State Learning for the 802.11 4-Way Handshake",
  booktitle="23rd European Symposium on Research in Computer Security, ESORICS 2018",
  year="2018",
  publisher="Springer",
  pages="325--345",
}