@InProceedings{milani09:prospex,
  author = 	 {Paolo {Milani Comparetti} and Gilbert Wondracek and Christopher Kruegel and Engin Kirda},
  title = 	 {{Prospex: Protocol Specification Extraction}},
  booktitle =    {IEEE Symposium on Security & Privacy},
  year = 	 {2009}
}