Prospex: Protocol Specification Extraction.

Paolo Milani Comparetti, Gilbert Wondracek, Christopher Krgel, Engin Kirda

Browse the full SP paper archive.