Ben Weintraub
Ben Weintraub
Home
Publications
Writing
Contact
CV
Light
Dark
Automatic
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
January 2022
PDF
Cite
Code
Type
Conference paper
Publication
IEEE Security & Privacy 2022
Cite
×