logsem / cerise

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

Related projects

Alternatives and complementary repositories for cerise