@inproceedings{paper-prospex,
  title = {{Prospex: Protocol Specification Extraction}},
  author = {{Paolo Milani Comparetti} and {Gilbert Wondracek} and {Christopher Kruegel} and {Engin Kirda}},
  year = {2009},
  url = {https://ieeexplore.ieee.org/document/5207640},
  booktitle = {IEEE S\&P 2009},
  doi = {10.1109/SP.2009.14},
  month = may
}