MathiasVP / ni-formal-gc

Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.
9Updated 5 years ago

Related projects

Alternatives and complementary repositories for ni-formal-gc