noninterference topic

List noninterference repositories

Stars

Forks

Watchers

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