https://github.com/tyilo/fstar-ni
Using F* to prove non-interference for a well-typed subset of programs written in a small imperative language
https://github.com/tyilo/fstar-ni
fstar information-flow
Last synced: 7 months ago
JSON representation
Using F* to prove non-interference for a well-typed subset of programs written in a small imperative language
- Host: GitHub
- URL: https://github.com/tyilo/fstar-ni
- Owner: tyilo
- Created: 2018-06-15T17:42:31.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2018-07-07T16:35:53.000Z (over 7 years ago)
- Last Synced: 2024-04-24T03:16:49.956Z (over 1 year ago)
- Topics: fstar, information-flow
- Homepage:
- Size: 27.3 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0