@inproceedings{langsec15,
  author={Poll, Erik and de Ruiter, Joeri and Schubert, Aleksy},
  booktitle={Security and Privacy Workshops (SPW), 2015 IEEE},
  title={Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws},
  year={2015},
  month={May},
  pages={125--133},
  doi={10.1109/SPW.2015.32},
}