noninterference

There are 4 repositories under noninterference topic.

  • aslanix/SmallStepNI

    Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq

    Language:Coq18402

  • Gradual-Typing/LambdaIFCStar

    The Agda mechanization of a gradual security-typed programming language with general mutable references.

    Language:Agda4101

  • co-dan/SeLoC

    Strong non-interference for fine-grained concurrent programs

    Language:Coq3310

  • co-dan/noninterference-coq

    Formalisation of "Noninterference, Transitivity, and Channel-Control Security Policies" by J. Rushby

    Language:Coq40