%0 Conference Paper %1 conf/sp/PachecoHWGN22 %A Pacheco, Maria Leonor %A von Hippel, Max %A Weintraub, Ben %A Goldwasser, Dan %A Nita-Rotaru, Cristina %B SP %D 2022 %I IEEE %K dblp %P 51-68 %T Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents. %U http://dblp.uni-trier.de/db/conf/sp/sp2022.html#PachecoHWGN22 %@ 978-1-6654-1316-9

@inproceedings{conf/sp/PachecoHWGN22, added-at = {2023-09-21T00:00:00.000+0200}, author = {Pacheco, Maria Leonor and von Hippel, Max and Weintraub, Ben and Goldwasser, Dan and Nita-Rotaru, Cristina}, biburl = {https://www.bibsonomy.org/bibtex/2b10613552fc5afd3785a58a305e17702/dblp}, booktitle = {SP}, crossref = {conf/sp/2022}, ee = {https://doi.org/10.1109/SP46214.2022.9833673}, interhash = {22eee3b6bd8f13dbc0999fc94b39ebc8}, intrahash = {b10613552fc5afd3785a58a305e17702}, isbn = {978-1-6654-1316-9}, keywords = {dblp}, pages = {51-68}, publisher = {IEEE}, timestamp = {2024-04-10T00:01:56.000+0200}, title = {Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp2022.html#PachecoHWGN22}, year = 2022 }