noninterference

There are 0 repository under noninterference topic.

• aslanix / SmallStepNI

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

  coqinformation-flow-controlnoninterferencesmall-step-semantics
  Language:Coq 18

• co-dan / SeLoC

  Strong non-interference for fine-grained concurrent programs

  iriscoqseparation-logicprogram-verificationtype-systemnoninterferencecoq-library
  Language:Coq 3

• Gradual-Typing / LambdaIFCStar

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

  formalizationinformation-flowsemanticsgradual-typingagdameta-theorycoercionnoninterferencetype-systems
  Language:Agda 3

• co-dan / noninterference-coq

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

  noninterferencecoq
  Language:Coq