{"payload":{"header_redesign_enabled":false,"results":[{"id":"707614945","archived":false,"color":"#dea584","followers":4,"has_funding_file":false,"hl_name":"iamywang/bp-security-framework","hl_trunc_description":"Research Artifact of HPCA 2024 Paper: *Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities*.","language":"Rust","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":707614945,"name":"bp-security-framework","owner_id":41533488,"owner_login":"iamywang","updated_at":"2023-12-16T01:15:12.389Z","has_issues":true}},"sponsorable":false,"topics":["symbolic-execution","formal-verification","hpca","microarchitectural-attack"],"type":"Public","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":58,"errors":[],"result_count":1,"facets":[],"protected_org_logins":[],"topics":null,"query_id":"","logged_in":false,"sign_up_path":"/signup?source=code_search_results","sign_in_path":"/login?return_to=https%3A%2F%2Fgithub.com%2Fsearch%3Fq%3Drepo%253Aiamywang%252Fbp-security-framework%2B%2Blanguage%253ARust","metadata":null,"csrf_tokens":{"/iamywang/bp-security-framework/star":{"post":"idC8zvv4GELE2odWVOaXMwjej6hMAh77DfOSspS6blDVeyXb6fUzB5Ez8-4Ez-sZ68HFtaoWyC2HcPSGyclNAg"},"/iamywang/bp-security-framework/unstar":{"post":"zaJFtg0f2BKwvDJ72gRn9uvbTvsiChh1iEZFAoNUOeCarG1tDsxRDL9AgknkCPCo55aX2ViuwfCUxrqLl4M70A"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"cTeD5T9qeDgBnjICYHSSOmk4SpnuPvbEW4OBEcKNdhMutUUt1ge-tpPCtk9AuTbtw3di2TGBMtXzLvAEPSUe-A"}}},"title":"Repository search results"}