{"id":24890719,"url":"https://github.com/skulltech/formal-security-analysis-assignments","last_synced_at":"2026-02-08T18:02:29.789Z","repository":{"id":95312554,"uuid":"371468584","full_name":"skulltech/formal-security-analysis-assignments","owner":"skulltech","description":"Formal security analysis course taught by Karthikeyan Bhargavan at IIT Delhi","archived":false,"fork":false,"pushed_at":"2021-05-27T18:30:21.000Z","size":4,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-07-28T09:37:24.663Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/skulltech.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2021-05-27T18:29:31.000Z","updated_at":"2023-01-14T15:19:08.000Z","dependencies_parsed_at":"2023-07-16T00:17:07.380Z","dependency_job_id":null,"html_url":"https://github.com/skulltech/formal-security-analysis-assignments","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/skulltech/formal-security-analysis-assignments","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/skulltech%2Fformal-security-analysis-assignments","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/skulltech%2Fformal-security-analysis-assignments/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/skulltech%2Fformal-security-analysis-assignments/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/skulltech%2Fformal-security-analysis-assignments/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/skulltech","download_url":"https://codeload.github.com/skulltech/formal-security-analysis-assignments/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/skulltech%2Fformal-security-analysis-assignments/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29239275,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-08T14:18:14.570Z","status":"ssl_error","status_checked_at":"2026-02-08T14:18:14.071Z","response_time":57,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2025-02-01T17:17:38.024Z","updated_at":"2026-02-08T18:02:29.755Z","avatar_url":"https://github.com/skulltech.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"# PROVERIF EXAMPLES\n\nThis directory contains some example ProVerif files.\n\n## Verifying the Examples\n\nYou need to first download ProVerif from:\n   https://prosecco.gforge.inria.fr/personal/bblanche/proverif/\nYou can either download the binary version or compiler it from source.\nIn either case you will have an executable file called \"proverif\" which\nyou can copy to this folder or add to your PATH.\n\nTo verify each file, execute:\n   proverif \u003cFILE.pv\u003e\nThis will display the result of analysis.\nTo filter out all details except the main results, execute:\n   proverif \u003cFILE.pv\u003e | grep ^RESULT\n\n\n## FILES\n\nHere are the files in this folder:\n- NS-PK.pv: the original Needham-Schroeder Public-Key Protocol (with attack)\n- NSL-PK.pv: the fixed Needham-Schroeder-Lowe Public-Key Protocol\n- RPC.pv: EXERCISE - model and verify a Secure RPC Protocol\n\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fskulltech%2Fformal-security-analysis-assignments","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fskulltech%2Fformal-security-analysis-assignments","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fskulltech%2Fformal-security-analysis-assignments/lists"}