Pinned Repositories
Comp527ALG
LabTest1
LabTest2
LabTest3
cerise
Formalisation of a capability machine and principles for reasoning about security properties
cerise-stack
Formalisation of stack safety properties on a capability machine with local and uninitialized capabilities
cerise-stack-monotone
Formalisation of temporal stack safety properties on a capability machine with local, uninitialized and directed capabilities.
iris-nextgen
Next generation modality for Iris
iris-project
Catan
COMP361 - Software Engineering Project - Settlers of Catan