{"id":"2105.06872","title":"Revizor: Testing Black-box CPUs against Speculation Contracts","url":"https://codeofpaper.com/paper/2105.06872","arxiv_url":"https://arxiv.org/abs/2105.06872","published":"2021-05-14","code":"official","best":{"full_name":"hw-sw-contracts/revizor","url":"https://github.com/hw-sw-contracts/revizor","tier":"official","stars":42,"license":"MIT","framework":null,"language":"Python","last_commit":"2022-12-14T15:52:54"},"most_starred_community":null,"implementations":[{"full_name":"hw-sw-contracts/revizor","url":"https://github.com/hw-sw-contracts/revizor","tier":"official","stars":42,"license":"MIT","framework":null,"language":"Python","last_commit":"2022-12-14T15:52:54"},{"full_name":"hw-sw-contracts/revizor-artifact","url":"https://github.com/hw-sw-contracts/revizor-artifact","tier":"official","stars":4,"license":null,"framework":null,"language":"Shell","last_commit":"2022-01-17T16:21:45"}],"possible_matches":0}