{"id":"2202.09470","title":"Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents","url":"https://codeofpaper.com/paper/2202.09470","arxiv_url":"https://arxiv.org/abs/2202.09470","published":"2022-02-18","code":"official","best":{"full_name":"RFCNLP/RFCNLP","url":"https://github.com/RFCNLP/RFCNLP","tier":"official","stars":56,"license":null,"framework":null,"language":"Promela","last_commit":"2022-11-09T18:36:17"},"most_starred_community":null,"implementations":[{"full_name":"RFCNLP/RFCNLP","url":"https://github.com/RFCNLP/RFCNLP","tier":"official","stars":56,"license":null,"framework":null,"language":"Promela","last_commit":"2022-11-09T18:36:17"}],"possible_matches":0}