{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"verified-ifc","owner":"micro-policies","isFork":false,"description":"Coq formalization accompanying the paper: A Verified Information-Flow Architecture","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-02T17:26:35.696Z"}},{"type":"Public","name":"micro-policies-coq","owner":"micro-policies","isFork":false,"description":"Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":1,"starsCount":19,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-23T01:17:43.285Z"}}],"repositoryCount":2,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"micro-policies repositories"}