Automated Attack Synthesis by Extracting Finite State Machines from Protocol Speciﬁcation Documents

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

January 2022