{"id":"2004.01220","title":"Automated Attacker Synthesis for Distributed Protocols","url":"https://codeofpaper.com/paper/2004.01220","arxiv_url":"https://arxiv.org/abs/2004.01220","published":"2020-04-02","code":"official","best":{"full_name":"maxvonhippel/AttackerSynthesis","url":"https://github.com/maxvonhippel/AttackerSynthesis","tier":"official","stars":15,"license":"MIT","framework":null,"language":"Python","last_commit":"2022-06-16T00:00:14"},"most_starred_community":null,"implementations":[{"full_name":"maxvonhippel/AttackerSynthesis","url":"https://github.com/maxvonhippel/AttackerSynthesis","tier":"official","stars":15,"license":"MIT","framework":null,"language":"Python","last_commit":"2022-06-16T00:00:14"}],"possible_matches":0}