Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents.

Maria Leonor Pacheco, Max von Hippel, Ben Weintraub, Dan Goldwasser, Cristina Nita-Rotaru

Browse the full SP paper archive.