logsem / cerise

Formalisation of a capability machine and principles for reasoning about security properties
17Updated last week

Related projects

Alternatives and complementary repositories for cerise