<reponame>iowaguy/starter-academic
@inproceedings{Pacheco_Hippel_Weintraub_Goldwasser_Nita-Rotaru_2022,
 author = {Pacheco, <NAME> Hippel, <NAME>, <NAME>, <NAME>, Cristina},
 booktitle = {IEEE Security & Privacy 2022},
 pages = {18},
 title = {Automated Attack Synthesis by Extracting Finite State Machines from Protocol Speciﬁcation Documents},
 year = {2022}
}

