{"payload":{"header_redesign_enabled":false,"results":[{"id":"320302999","archived":false,"color":"#0000fb","followers":0,"has_funding_file":false,"hl_name":"XeniaTsomp/ModelChecking","hl_trunc_description":"This repository concerns the topic of EPONs security. Model checking is used in this work to derive quantitative results of a MITM attack…","language":"Raku","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":320302999,"name":"ModelChecking","owner_id":73354206,"owner_login":"XeniaTsomp","updated_at":"2021-05-30T16:14:41.209Z","has_issues":true}},"sponsorable":false,"topics":["onu","olt","message-exchange","mitm-attack","epon"],"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":56,"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%253AXeniaTsomp%252FModelChecking%2B%2Blanguage%253ARaku","metadata":null,"csrf_tokens":{"/XeniaTsomp/ModelChecking/star":{"post":"YGaoZbsorAW94dSw0mUlDeYYxokLxhFIgEXcbTQF8753ufeExB8h1Vv6ddIpoyL3Tl5wmFSI60d14s5UBZ-3vA"},"/XeniaTsomp/ModelChecking/unstar":{"post":"TXj0cTmpgcLPpLVICOH2ETiNtJbU-khFr911-QEGJq-fwcwkO0IgBBlU6EMRkr-4nxZ04kywm2ky6WWBE5njwQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"rI55piUw9PHIXIrgO1psLX7IAacxTTGNT8a1Tg9BdcV6vUzRnIg2CpEEbXHbieDMp9eG_JhLB_RNRpevvYWixg"}}},"title":"Repository search results"}