Alert button

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

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

Figure 1 for Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
Figure 2 for Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
Figure 3 for Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
Figure 4 for Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: