Projects in Awesome Lists tagged with noninterference
A curated list of projects in awesome lists tagged with noninterference .
https://github.com/co-dan/seloc
Strong non-interference for fine-grained concurrent programs
coq coq-library iris noninterference program-verification separation-logic type-system
Last synced: 04 Apr 2025
https://github.com/co-dan/noninterference-coq
Formalisation of "Noninterference, Transitivity, and Channel-Control Security Policies" by J. Rushby
Last synced: 24 Apr 2025