IEEE Symposium on Security and Privacy·18 min
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
Security researchers examine technical aspects of Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents.
automatedattacksynthesi+3

